[seL4] Virtual address space (kernelBase) restriction

[Hesham ALMatary]

Hi all,

Is it a must that every platform/architecture mapped to virtual
addresses higher than 0xF0000000?

Thanks
-- 
Hesham

_______________________________________________
Devel mailing list
Devel@sel4.systems
https://sel4.systems/lists/listinfo/devel