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 _______________________________________________ Devel mailing list -- [email protected] To unsubscribe send an email to [email protected]
