mirror of
https://github.com/mmueller41/genode.git
synced 2026-01-21 20:42:56 +01:00
committed by
Christian Helmuth
parent
854b70fd7d
commit
428131fd28
@@ -180,7 +180,7 @@ append config {
|
||||
}
|
||||
|
||||
append config {
|
||||
<start name="noux">
|
||||
<start name="noux" caps="1000">
|
||||
<resource name="RAM" quantum="1G" />
|
||||
}
|
||||
|
||||
@@ -248,7 +248,7 @@ install_config $config
|
||||
set boot_modules {
|
||||
core init timer ld.lib.so noux terminal ram_fs
|
||||
libc.lib.so libm.lib.so libc_noux.lib.so ncurses.lib.so stdcxx.lib.so
|
||||
pcre.lib.so posix.lib.so
|
||||
pcre.lib.so posix.lib.so vimrc
|
||||
}
|
||||
|
||||
append boot_modules { gmp.lib.so mpfr.lib.so mpc.lib.so }
|
||||
|
||||
Reference in New Issue
Block a user