ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-05-25 03:34:25 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

sel4: build elfloader on demand (fix #3329)

Browse Source
This commit is contained in:
Stefan Kalkowski 2019-05-07 16:17:14 +02:00 committed by Christian Helmuth
parent 817eb4f23c
commit c5fee20286
1 changed files with 6 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
tool/run/boot_dir/sel4
View File

@ -14,7 +14,12 @@ proc kernel_files { } { return sel4 }
proc run_boot_string { } { return "\n\rBooting all finished, dropped to user space" } proc run_boot_string { } { return "\n\rBooting all finished, dropped to user space" }
proc core_link_address { } { return "0x02000000" } proc core_link_address { } { return "0x02000000" }
proc sel4_elfloader_dir { } { return "[pwd]/var/libcache/kernel-sel4/elfloader" } proc sel4_elfloader_dir { } {
if {![file exists [pwd]/var/libcache/kernel-sel4/elfloader]} {
build LIB=kernel-sel4
}
return "[pwd]/var/libcache/kernel-sel4/elfloader"
}
## ##
# Populate boot directory with binaries on hw # Populate boot directory with binaries on hw