denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 12:32:56 +01:00
Code Issues Packages Projects Releases Wiki Activity

Added run script to produce dry-run output for VSCode.

Browse Source
This commit is contained in:
Michael Mueller
2023-06-13 18:47:58 +02:00
parent 1f7bfe1426
commit aa183af6a4
1 changed files with 12 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
repos/mml/run/vscode.run Normal file
View File

@@ -0,0 +1,12 @@
set build_components {
core init timer hoitaja app/blinktree app/hello_mxtask app/hpc_test app/yield_bench test/resource_yield app/grant_bench app/top server/cpu_balancer app/cpu_burner
}
source ${genode_dir}/repos/base/run/platform_drv.inc
append_platform_drv_build_components
build $build_components
create_boot_directory