fixup uplink drivers

2 years ago · 67fbe1ea9a
parent 1c09089856
commit 67fbe1ea9a
1 changed files with 1 additions and 0 deletions
--- a/nixos-modules/genode-init.nix
+++ b/nixos-modules/genode-init.nix
@ -34,6 +34,7 @@ in {
              , Sigil.Init.ServiceRoute.parent "IO_MEM"
              , Sigil.Init.ServiceRoute.parent "IO_PORT"
              , Sigil.Init.ServiceRoute.parent "IRQ"
+              , Sigil.Init.ServiceRoute.parent "Platform"
              , Sigil.Init.ServiceRoute.parent "Rtc"
              , Sigil.Init.ServiceRoute.parent "Terminal"
              , Sigil.Init.ServiceRoute.parent "Timer"