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

image/disk: factor out common boot parts

Browse Source 
to avoid divergence

Issue #4741
This commit is contained in:
Alexander Boettcher
2023-01-27 08:05:29 +01:00
committed by Christian Helmuth
parent eb354be20d
commit c3843cd0d6
8 changed files with 15 additions and 16 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
tool/run/boot_dir/fiasco
View File

@@ -49,8 +49,7 @@ proc run_boot_dir {binaries} {
if {[have_include "image/iso"] || [have_include "image/disk"]} {
if {[have_include "image/disk"]} {
exec mkdir -p [run_dir]/boot/grub
exec cp [genode_dir]/tool/boot/bender [run_dir]/boot/bender
install_disk_bootloader_to_run_dir
}
if {[have_include "image/iso"]} {

3
tool/run/boot_dir/foc
View File

@@ -93,8 +93,7 @@ proc run_boot_dir_x86 {binaries} {
if {[have_include "image/iso"] || [have_include "image/disk"]} {
if {[have_include "image/disk"]} {
exec mkdir -p [run_dir]/boot/grub
exec cp [genode_dir]/tool/boot/bender [run_dir]/boot/bender
install_disk_bootloader_to_run_dir
}
if {[have_include "image/iso"]} {

3
tool/run/boot_dir/hw
View File

@@ -108,8 +108,7 @@ proc run_boot_dir {binaries} {
set serial_bender_opt ""
if {[have_include "image/disk"]} {
exec mkdir -p [run_dir]/boot/grub
exec cp [genode_dir]/tool/boot/bender [run_dir]/boot/bender
install_disk_bootloader_to_run_dir
}
if {[have_include "image/iso"]} {

5
tool/run/boot_dir/nova
View File

@@ -109,10 +109,7 @@ proc run_boot_dir {binaries} {
exec gzip [run_dir]/boot/image.elf
if {[have_include "image/disk"]} {
exec mkdir -p [run_dir]/boot/grub
exec cp [genode_dir]/tool/boot/bender [run_dir]/boot/bender
exec cp [genode_dir]/tool/boot/boot.png [run_dir]/boot/boot.png
exec cp [get_grub2_dir]/boot/font.pf2 [run_dir]/boot/font.pf2
install_disk_bootloader_to_run_dir
}
if {[have_include "image/iso"]} {

3
tool/run/boot_dir/okl4
View File

@@ -161,8 +161,7 @@ proc run_boot_dir {binaries} {
if {[have_include "image/iso"] || [have_include "image/disk"]} {
if {[have_include "image/disk"]} {
exec mkdir -p [run_dir]/boot/grub
exec cp [genode_dir]/tool/boot/bender [run_dir]/boot/bender
install_disk_bootloader_to_run_dir
}
if {[have_include "image/iso"]} {

3
tool/run/boot_dir/pistachio
View File

@@ -48,8 +48,7 @@ proc run_boot_dir {binaries} {
if {[have_include "image/iso"] || [have_include "image/disk"]} {
if {[have_include "image/disk"]} {
exec mkdir -p [run_dir]/boot/grub
exec cp [genode_dir]/tool/boot/bender [run_dir]/boot/bender
install_disk_bootloader_to_run_dir
}
if {[have_include "image/iso"]} {

3
tool/run/boot_dir/sel4
View File

@@ -58,8 +58,7 @@ proc run_boot_dir {binaries} {
set serial_bender_opt ""
if {[have_include "image/disk"]} {
exec mkdir -p [run_dir]/boot/grub
exec cp [genode_dir]/tool/boot/bender [run_dir]/boot/bender
install_disk_bootloader_to_run_dir
}
if {[have_include "image/iso"]} {

8
tool/run/image/disk
View File

@@ -91,3 +91,11 @@ proc run_image { } {
set size_image [expr [regsub {\s.*} [exec du -sk [run_dir].img] {}]]
puts "Created image file [run_dir].img (${size_image}kiB)"
}
proc install_disk_bootloader_to_run_dir { } {
exec mkdir -p [run_dir]/boot/grub
exec cp [genode_dir]/tool/boot/bender [run_dir]/boot/bender
exec cp [genode_dir]/tool/boot/boot.png [run_dir]/boot/boot.png
exec cp [get_grub2_dir]/boot/font.pf2 [run_dir]/boot/font.pf2
}