Hello, When I build a kernel with DEBUG_LOCK_ALLOC set, I get a kernel which has __bss_stop above the C0800000 limit, and then I get a bad page exception during the zeroize of the __bss at startup, because the initial MMU only maps the first 8Mbytes. What can I do to fix that ? Regards C. Leroy