I create my own HelloWorld that boots correctly using GRUB bios, however, when I try to boot using GRUB UEFI using multiboot2, only the kernel is loading and my program does not because the addressing selected by GRUB. Yes, I know the problem is GRUB but maybe some one faced the same situation. It’s interesting that bios map the module (my program) in high memory without conflict but uefi does not and seL4 refuses because memory overlap in reserved area.
BIOS:
Detected 1 boot module(s):
module #0: start=0xa14000 end=0xa7ab60 size=0x66b60 name=‘/home/ventura/my_seL4_projects/build/images/hello-worl’
Parsing GRUB physical memory map
Physical Memory Region from 0 size 9fc00 type 1
Physical Memory Region from 9fc00 size 400 type 2
Physical Memory Region from f0000 size 10000 type 2
Physical Memory Region from 100000 size 7fee0000 type 1
Adding physical memory region 0x100000-0x7ffe0000
Physical Memory Region from 7ffe0000 size 20000 type 2
Physical Memory Region from feffc000 size 4000 type 2
Physical Memory Region from fffc0000 size 40000 type 2
UEFI:
module #0: start=0x772000 end=0x7d8b60 size=0x66b60 name=‘hello-world-image’
Physical Memory Region from 0 size a0000 type 1
Physical Memory Region from 100000 size 700000 type 1
Adding physical memory region 0x100000-0x800000
Physical Memory Region from 800000 size 8000 type 4
Physical Memory Region from 808000 size 3000 type 1
Adding physical memory region 0x808000-0x80b000
Physical Memory Region from 80b000 size 1000 type 4
Physical Memory Region from 80c000 size 4000 type 1
Adding physical memory region 0x80c000-0x810000
Physical Memory Region from 810000 size f0000 type 4
Physical Memory Region from 900000 size 7efef000 type 1
Adding physical memory region 0x900000-0x7f8ef000
Physical Memory Region from 7f8ef000 size 100000 type 2
Physical Memory Region from 7f9ef000 size 100000 type 20
Physical Memory Region from 7faef000 size 80000 type 2
Physical Memory Region from 7fb6f000 size 10000 type 3
Physical Memory Region from 7fb7f000 size 80000 type 4
Physical Memory Region from 7fbff000 size 359000 type 1
Adding physical memory region 0x7fbff000-0x7ff58000
Physical Memory Region from 7ff58000 size 20000 type 2
Physical Memory Region from 7ff78000 size 88000 type 4
Detected 1 boot module(s):
Sincerely,
Ventura