Hi Baltazar, It depends on which RISC-V platform you're building for. Only The HiFive platform has a serial driver [1] as of last month (haven't tested it though), Spike doesn't [2] have a UART nor a serial driver, so you can't getchar from userspace.
[1] https://github.com/seL4/util_libs/blob/aafc51ffb147adb10e2b0fa86cbbefe62926b78f/libplatsupport/src/plat/hifive/uart.c#L51 [2] https://github.com/seL4/util_libs/blob/aafc51ffb147adb10e2b0fa86cbbefe62926b78f/libplatsupport/src/plat/spike/chardev.c#L20 On Fri, 2 Aug 2019 at 17:14, Ortiz, Baltazar <[email protected]> wrote: > > Hi all, > > > > I’ve been looking through the seL4 libraries and examples, and it seems to me > that serial input should in some way be possible - the refos example appears > to have a terminal, and I would imagine that debugging via GDB requires input > in addition to output. However, the code to do this is unclear to me. Calling > getchar() or similar leads to the unimplemented readv syscall, and calling > __arch_getchar or similar causes a cap error even after running > platsupport_serial_setup_simple(). > > > > Is there a step I’m missing? I’m specifically trying to get this working on > RISC-V. > > > > Thanks, > > > > Baltazar > > ________________________________ > Notice: This email and any attachments may contain proprietary (Draper > non-public) and/or export-controlled information of Draper. If you are not > the intended recipient of this email, please immediately notify the sender by > replying to this email and immediately destroy all copies of this email. > ________________________________ > _______________________________________________ > Devel mailing list > [email protected] > https://sel4.systems/lists/listinfo/devel -- Hesham _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
