Hi,
I am testing sel4bench on real x86 board now. I found that if we use parameter DKernelSkimWindow=off, we can see nothing on the uart. Can anyone give me any advice.
Only thing that comes to mind is that the kernel layout changes caused by the skim window hide a bug somewhere. Does it work if you change the ALING(4k) to ALING(2M) (or 4M if on 32-bit) in src/plat/pc99/linker.lds?
Or replace all the #ifdef CONFIG_KERNEL_SKIM_WINDOW with #if 1.