We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Some information about the memory.
The kernel code is loaded by the bootloader at 0x6000.
0 -> 1MiB: Identity mapped 1Mib -> 4GiB: Prepared at boot time
=> Needs about 4MiB for mapping