mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-18 21:27:56 +00:00
parent
4f0251eb00
commit
6f6fb69dc9
@ -139,6 +139,7 @@ proc run_boot_dir {binaries} {
|
||||
exit -1
|
||||
}
|
||||
clean_boot_modules
|
||||
exec mv [run_dir]/genode/config [run_dir]/config
|
||||
exec rm -rf "[run_dir]/genode"
|
||||
|
||||
# offer ELF image
|
||||
|
Loading…
Reference in New Issue
Block a user