14 Apr
2025
14 Apr
'25
2:07 a.m.
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