ehmry/genode
ehmry
/
genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

sculpt: use vfs for config file system 

By using the VFS server, we become able to populate the config-fs
content from a tar archive, which will be needed for Sculpt VC.

Issue #2902
This commit is contained in:
Norman Feske 2018-07-04 14:07:42 +02:00 committed by Christian Helmuth
parent 59ac5b10c7
commit 9061217d80
2 changed files with 33 additions and 29 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
repos/gems/recipes/pkg/sculpt/archives
View File

@ -24,6 +24,7 @@ _/src/bash-minimal
_/src/vim-minimal
_/src/coreutils-minimal
_/src/vfs
_/src/vfs_import
_/src/vfs_lxip
_/src/rump
_/src/ipxe_nic_drv

61
repos/gems/run/sculpt.run
View File

@ -81,38 +81,41 @@ install_config {
</start>
<start name="config_fs" caps="200">
<binary name="ram_fs"/>
<resource name="RAM" quantum="10M"/>
<binary name="vfs"/>
<resource name="RAM" quantum="12M"/>
<provides> <service name="File_system"/> </provides>
<config>
<content>
<dir name="managed">
<rom name="fonts.config" as="fonts"/>
<rom name="fb_drv.config" as="fb_drv"/>
<rom name="wlan.config" as="wlan"/>
<rom name="installation"/>
<rom name="empty_runtime.config" as="runtime"/>
<rom name="input_filter.config" as="input_filter"/>
<inline name="depot_query"><query/></inline>
</dir>
<rom name="input_filter.config" as="input_filter"/>
<rom name="fb_drv.config" as="fb_drv"/>
<rom name="nitpicker.config" as="nitpicker"/>
<rom name="numlock_remap.config" as="numlock_remap"/>
<rom name="leitzentrale.config" as="leitzentrale"/>
<rom name="drivers.config" as="drivers"/>
<rom name="manual_deploy.config" as="deploy"/>
<rom name="usb.config" as="usb"/>
<rom name="en_us.chargen"/>
<rom name="de.chargen"/>
<rom name="de_ch.chargen"/>
<rom name="special.chargen"/>
<rom name="vimrc"/>
<inline name="system">} [config_system_content] {
</inline>
</content>
<vfs>
<ram/>
<import>
<dir name="managed">
<rom name="fonts" label="fonts.config"/>
<rom name="fb_drv" label="fb_drv.config"/>
<rom name="wlan" label="wlan.config"/>
<rom name="installation"/>
<rom name="runtime" label="empty_runtime.config"/>
<rom name="input_filter" label="input_filter.config"/>
<inline name="depot_query"><query/></inline>
</dir>
<rom name="input_filter" label="input_filter.config"/>
<rom name="fb_drv" label="fb_drv.config"/>
<rom name="nitpicker" label="nitpicker.config"/>
<rom name="numlock_remap" label="numlock_remap.config"/>
<rom name="leitzentrale" label="leitzentrale.config"/>
<rom name="drivers" label="drivers.config"/>
<rom name="deploy" label="manual_deploy.config"/>
<rom name="usb" label="usb.config"/>
<rom name="en_us.chargen"/>
<rom name="de.chargen"/>
<rom name="de_ch.chargen"/>
<rom name="special.chargen"/>
<rom name="vimrc"/>
<inline name="system">} [config_system_content] {
</inline>
</import>
</vfs>
<policy label="config_fs_rom -> " root="/" />
<policy label="rw" root="/" writeable="yes" />
<policy label="rw" root="/" writeable="yes" />
</config>
</start>