Re: [seL4] seL4 test on x86

...

...

...

...

"Yevgeny" == Yevgeny Lavrov writes:

Yevgeny> I end up with no output at all and no error msgs that can Yevgeny> give me a clue on where something went wrong. The output is sent to the serial port, COM1. Peter C -- Dr Peter Chubb Tel: +61 2 9490 5852 http://www.data61.csiro.au http://www.ssrg.nicta.com.au Software Systems Research Group/NICTA/Data61