mirror of
https://github.com/mmueller41/genode.git
synced 2026-01-21 20:42:56 +01:00
@@ -14,6 +14,7 @@ build {
|
||||
server/nit_fb
|
||||
server/terminal
|
||||
server/terminal_log
|
||||
test/nitpicker
|
||||
}
|
||||
create_boot_directory
|
||||
|
||||
|
||||
Reference in New Issue
Block a user