Samuel Thibault, le sam. 27 août 2022 21:41:57 +0200, a ecrit: > Mmm, on the set_cr3() in i386at_init call, it reboots...
Ah, reducing the memory size to 2G fixed it. The kernel_pmap->l4base address was at 0xFFFD3000, apparently that was going up the roof :) It'd be useful to test with larger memory sizes, since that's one of the points of going 64bit ;) Samuel
