From 5c076293ce21db081d00cbc653fe26627c8a81ce Mon Sep 17 00:00:00 2001 From: swrup Date: Thu, 16 Oct 2025 08:26:27 +0200 Subject: [PATCH] --- src/mte.ml | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/src/mte.ml b/src/mte.ml index 99d6c84b..7b566308 100644 --- a/src/mte.ml +++ b/src/mte.ml @@ -123,7 +123,11 @@ let () = Miou_unix.run @@ fun () -> let env = () in let devices = - Vif.Devices.[ Secmod_keys.signkey_device; Secmod_keys.denom_device ] + Vif.Devices. + [ + Secmod_keys.signkey_device; Secmod_keys.denom_device; + Secmod_denom.denom_device; + ] in let middlewares = Vif.Middlewares.[] in Vif.run ~cfg ~devices ~middlewares routes env