search

seL4 / util_libs

Other
53 stars 83 forks source link

libplatsupport: add UART for qemu-riscv-virt platform #143

Closed axel-h closed 1 year ago

axel-h commented 1 year ago

Test with: seL4/seL4#818, seL4/sel4test#82

Ivan-Velickovic commented 1 year ago

Have you tested the UART driver? My understanding is that seL4test does not make use of it, I just want to double check that get char and put char work.

axel-h commented 1 year ago

Have you tested the UART driver? My understanding is that seL4test does not make use of it, I just want to double check that get char and put char work.

I've copied this from another driver. But I will run an explicit test then.

axel-h commented 1 year ago

I've tested the driver now with a customized QEMU that has multiple UARTs.