mirror of
https://github.com/mmueller41/genode.git
synced 2026-01-21 12:32:56 +01:00
13 lines
352 B
Plaintext
13 lines
352 B
Plaintext
set build_components {
|
|
core init timer hoitaja app/blinktree app/hello_mxtask app/hpc_test app/yield_bench app/persistent_cell app/volatile_cell test/resource_yield app/grant_bench app/top app/cpu_burner
|
|
}
|
|
|
|
source ${genode_dir}/repos/base/run/platform_drv.inc
|
|
append_platform_drv_build_components
|
|
build $build_components
|
|
|
|
create_boot_directory
|
|
|
|
|
|
|