Currently the kernel depends on multiboot information being present at boot time. This works well for generic x86 where grub is packaged with the boot image but won't work for boards like the Raspberry Pi that have bootloaders in firmware that don't comply with the multiboot standard.
To solve this we should delegate MemProfile initialisation to the architecture and allow it to specify the type of the data passed to kmain.
Currently the kernel depends on multiboot information being present at boot time. This works well for generic x86 where grub is packaged with the boot image but won't work for boards like the Raspberry Pi that have bootloaders in firmware that don't comply with the multiboot standard.
To solve this we should delegate
MemProfileinitialisation to the architecture and allow it to specify the type of the data passed to kmain.