Hi, I am testing sel4 on real Sanyou> x86 board now. I found that if we use parameter DKernelSkimWindow=off, we can see nothing on the uart. Can you give me any advice. Regards, Sanyoo