ehmry/genodepkgs
ehmry
/
genodepkgs
2
0
Fork 0
Code Releases Activity

nixos module: bigger log

This commit is contained in:
Ehmry - 2020-05-22 16:48:32 +05:30
parent 1b2aec580b
commit 16e788ad72
2 changed files with 18 additions and 21 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
nixos-modules/default.nix
View File

@ -76,7 +76,7 @@ let
"intel_fb_drv"
"vfs"
"vfs_ttf"
] ++ [ pkgs'.base-nova pkgs'.block_router ];
] ++ (with pkgs'; [ base-nova block_router ]);
extraBinaries = [
"ld.lib.so"
"libc.so"

37
nixos-modules/dhall/vbox-host.dhall
View File

@ -25,6 +25,7 @@ let rootInit =
λ(guests : Init.Children.Type)
→ Init::{
, routes = [ ServiceRoute.child "Timer" "timer" ]
, verbose = True
, children = toMap
{ timer =
Child.flat
@ -280,10 +281,6 @@ let rootInit =
Child.flat
Child.Attributes::{
, binary = "nit_fb"
, config = Init.Config::{
, attributes = toMap
{ xpos = "200", width = "600", height = "600" }
}
, provides = [ "Framebuffer", "Input" ]
, resources = Resources::{ ram = Genode.units.MiB 8 }
, routes =
@ -315,7 +312,7 @@ let rootInit =
<rom name="Inconsolata.ttf"/>
<dir name="fonts">
<dir name="monospace">
<ttf name="regular" path="/Inconsolata.ttf" size_px="10"/>
<ttf name="regular" path="/Inconsolata.ttf" size_px="8"/>
</dir>
</dir>
</vfs>
@ -523,6 +520,21 @@ let rootInit =
(Some "store_rom")
]
}
, chroot =
Child.flat
Child.Attributes::{
, binary = "chroot"
, config = Init.Config::{
, content =
[ XML.leaf
{ name = "default-policy"
, attributes = toMap { writeable = "yes" }
}
]
}
, provides = [ "File_system" ]
, routes = [ ServiceRoute.child "File_system" "file_system" ]
}
, nic_drv =
Child.flat
Child.Attributes::{
@ -540,21 +552,6 @@ let rootInit =
(Some "nic_drv")
]
}
, chroot =
Child.flat
Child.Attributes::{
, binary = "chroot"
, config = Init.Config::{
, content =
[ XML.leaf
{ name = "default-policy"
, attributes = toMap { writeable = "yes" }
}
]
}
, provides = [ "File_system" ]
, routes = [ ServiceRoute.child "File_system" "file_system" ]
}
, guests =
Init.toChild
Init::{ children = guests, verbose = True }