mirror of
https://github.com/genodelabs/genode.git
synced 2025-04-07 19:34:56 +00:00
parent
9946f2b42f
commit
8b568a6029
@ -112,6 +112,7 @@ proc enable_specific_boot_modules {file} {
|
||||
exec rm -rf boot_modules.s
|
||||
exec ln -s $file boot_modules.s
|
||||
exec rm -rf var/libcache/boot_modules/boot_modules.o
|
||||
exec find . -type f -name "core" -delete
|
||||
}
|
||||
|
||||
|
||||
|
Loading…
x
Reference in New Issue
Block a user