mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-20 22:23:16 +00:00
80e1dce1b0
replace by platform_info ROM supposed to exist on all supported kernels. Fixes #2710 |
||
---|---|---|
.. | ||
block_runtime.config | ||
default_fs_subinit.config | ||
default_nic_subinit.config | ||
default_noux_subinit.config | ||
deploy_runtime.config | ||
download_runtime.config | ||
empty_runtime.config | ||
fb_drv.config | ||
fs_runtime.config | ||
leitzentrale.config | ||
load_runtime.config | ||
machine.vbox | ||
machine.vdi.gz | ||
nitpicker.config | ||
update_runtime.config | ||
vimrc | ||
wlan.config |