-- SPDX-License-Identifier: CC0-1.0
let Genode = env:DHALL_GENODE
let os = env:OS_MANIFEST
in { config =
Genode.Init::{
, verbose = True
, children =
toMap
{ ram_fs =
Genode.Init.Start::{
, binary = "ram_fs"
, resources = { caps = 96, ram = Genode.units.MiB 4 }
, provides = [ "File_system" ]
, config =
Some
( Genode.Prelude.XML.text
''
''
)
}
, fs_report =
Genode.Init.Start::{
, binary = "fs_report"
, resources = { caps = 96, ram = Genode.units.MiB 4 }
, provides = [ "Report" ]
, routes = [ Genode.ServiceRoute.child "File_system" "ram_fs" ]
, config =
Some
( Genode.Prelude.XML.text
" "
)
}
, fs_rom =
Genode.Init.Start::{
, binary = "fs_rom"
, resources = { caps = 96, ram = Genode.units.MiB 4 }
, provides = [ "ROM" ]
, routes = [ Genode.ServiceRoute.child "File_system" "ram_fs" ]
}
, test-fs_report =
Genode.Init.Start::{
, binary = "test-fs_report"
, resources = { caps = 96, ram = Genode.units.MiB 4 }
, provides = [ "Report" ]
, config =
Some
( Genode.Prelude.XML.text
" "
)
, routes =
[ Genode.ServiceRoute.childLabel
"ROM"
"fs_rom"
(Some "devices")
(None Text)
, Genode.ServiceRoute.childLabel
"ROM"
"fs_rom"
(Some "focus")
(None Text)
, Genode.ServiceRoute.child
"Report"
"fs_report"
, Genode.ServiceRoute.parent "Timer"
]
}
}
}
, rom =
[ os.bin.fs_report
, os.bin.fs_rom
, os.bin.ram_fs
, os.bin.test-fs_report
, os.lib.vfs
]
}