ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-18 21:27:56 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Remove redundant boot modules from boot image

Browse Source 
Fixes #2185
This commit is contained in:
Norman Feske 2016-12-08 12:25:00 +01:00
parent f89b63ef87
commit 1e41c2dbe9
2 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
tool/run/boot_dir/okl4
View File

@ -158,7 +158,7 @@ proc run_boot_dir {binaries} {
#
# Keep only the ELF boot image, but remove stripped binaries
#
exec rm -r [run_dir]/genode
exec rm -rf [run_dir]/genode
if {[have_include "image/iso"] || [have_include "image/disk"]} {
#

4
tool/run/run
View File

@ -767,6 +767,7 @@ proc build_core {lib modules target} {
# Generate bootable core image containing all boot-modules
#
proc build_core_image {binaries} {
# boot module list without core
set idx [lsearch $binaries "core"]
set modules [lreplace $binaries $idx $idx]
@ -783,6 +784,9 @@ proc build_core_image {binaries} {
# create core binary containing the boot modules
build_core $core_obj $modules [run_dir]/image.elf
exec [cross_dev_prefix]strip [run_dir]/image.elf
# remove individual binaries, which are now contained in 'image.elf'
exec rm -rf [run_dir]/genode
}