alex/genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

hw: evaluate also ACPI RSDP v1 with MBI2

Browse Source 
Issue #2526
This commit is contained in:
Alexander Boettcher
2017-11-18 15:22:22 +01:00
committed by Christian Helmuth
parent 2b6ae514b5
commit e1ac124a4d
3 changed files with 29 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

14
tool/run/boot_dir/hw
View File

@@ -96,6 +96,12 @@ proc run_boot_dir {binaries} {
exec [cross_dev_prefix]strip [run_dir]/image.elf
if {[have_include "image/iso"] || [have_include "image/disk"] || [have_include image/uefi]} {
#
# Compress Genode image, to be uncompressed by GRUB
#
exec gzip [run_dir]/image.elf
set serial_bender_opt ""
if {[have_include "image/disk"]} {
exec mkdir -p [run_dir]/boot/grub
@@ -114,6 +120,8 @@ proc run_boot_dir {binaries} {
exec cp $grub2_path/boot/grub2/grub2_64.efi [run_dir]/efi/boot/bootx64.efi
exec mkdir -p [run_dir]/boot/grub
exec cp [genode_dir]/tool/boot/bender [run_dir]/boot/bender
set serial_bender_opt "serial_fallback"
}
#
@@ -122,9 +130,9 @@ proc run_boot_dir {binaries} {
set fh [open "[run_dir]/boot/grub/grub.cfg" "WRONLY CREAT TRUNC"]
puts $fh "set timeout=0"
puts $fh "menuentry 'Genode on base-hw' {"
puts $fh " insmod multiboot"
puts $fh " multiboot /boot/bender"
puts $fh " module /image.elf image.elf"
puts $fh " insmod multiboot2"
puts $fh " multiboot2 /boot/bender $serial_bender_opt"
puts $fh " module2 /image.elf.gz image.elf"
puts $fh "}"
close $fh
}