nixos module: bigger log
This commit is contained in:
parent
8b5d35eef3
commit
8fed4750e2
|
@ -76,7 +76,7 @@ let
|
||||||
"intel_fb_drv"
|
"intel_fb_drv"
|
||||||
"vfs"
|
"vfs"
|
||||||
"vfs_ttf"
|
"vfs_ttf"
|
||||||
] ++ [ pkgs'.base-nova pkgs'.block_router ];
|
] ++ (with pkgs'; [ base-nova block_router ]);
|
||||||
extraBinaries = [
|
extraBinaries = [
|
||||||
"ld.lib.so"
|
"ld.lib.so"
|
||||||
"libc.so"
|
"libc.so"
|
||||||
|
|
|
@ -25,6 +25,7 @@ let rootInit =
|
||||||
λ(guests : Init.Children.Type)
|
λ(guests : Init.Children.Type)
|
||||||
→ Init::{
|
→ Init::{
|
||||||
, routes = [ ServiceRoute.child "Timer" "timer" ]
|
, routes = [ ServiceRoute.child "Timer" "timer" ]
|
||||||
|
, verbose = True
|
||||||
, children = toMap
|
, children = toMap
|
||||||
{ timer =
|
{ timer =
|
||||||
Child.flat
|
Child.flat
|
||||||
|
@ -280,10 +281,6 @@ let rootInit =
|
||||||
Child.flat
|
Child.flat
|
||||||
Child.Attributes::{
|
Child.Attributes::{
|
||||||
, binary = "nit_fb"
|
, binary = "nit_fb"
|
||||||
, config = Init.Config::{
|
|
||||||
, attributes = toMap
|
|
||||||
{ xpos = "200", width = "600", height = "600" }
|
|
||||||
}
|
|
||||||
, provides = [ "Framebuffer", "Input" ]
|
, provides = [ "Framebuffer", "Input" ]
|
||||||
, resources = Resources::{ ram = Genode.units.MiB 8 }
|
, resources = Resources::{ ram = Genode.units.MiB 8 }
|
||||||
, routes =
|
, routes =
|
||||||
|
@ -315,7 +312,7 @@ let rootInit =
|
||||||
<rom name="Inconsolata.ttf"/>
|
<rom name="Inconsolata.ttf"/>
|
||||||
<dir name="fonts">
|
<dir name="fonts">
|
||||||
<dir name="monospace">
|
<dir name="monospace">
|
||||||
<ttf name="regular" path="/Inconsolata.ttf" size_px="10"/>
|
<ttf name="regular" path="/Inconsolata.ttf" size_px="8"/>
|
||||||
</dir>
|
</dir>
|
||||||
</dir>
|
</dir>
|
||||||
</vfs>
|
</vfs>
|
||||||
|
@ -523,6 +520,21 @@ let rootInit =
|
||||||
(Some "store_rom")
|
(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 =
|
, nic_drv =
|
||||||
Child.flat
|
Child.flat
|
||||||
Child.Attributes::{
|
Child.Attributes::{
|
||||||
|
@ -540,21 +552,6 @@ let rootInit =
|
||||||
(Some "nic_drv")
|
(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 =
|
, guests =
|
||||||
Init.toChild
|
Init.toChild
|
||||||
Init::{ children = guests, verbose = True }
|
Init::{ children = guests, verbose = True }
|
||||||
|
|
Loading…
Reference in New Issue