seL4 / seL4

The seL4 microkernel

Home Page:https://sel4.systems

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Can uart_drv_getchar(void) be removed from the serial drivers

andybui01 opened this issue · comments

The wrapper that calls uart_drv_getchar(), kernel_getDebugChar(), is never called within the kernel, and there is no syscall equivalent to SysDebugPutChar.

It seems as if any serial recv handling by the kernel would have to buffer characters, which is un-ideal anyways. I think serial drivers can be refactored to be purely printing only. This lowers the expectation of future ports to not have to worry about uart getchar implementations.

Ah, I believe this was used to debug capDL in the past, which got removed at some point (658e110), and now the getchar implementations remain unused, although in the future we might need them for a similar purpose again.

Future ports can just add a dummy function, but I think removing it altogether is fine too.

Closing this as the question has been answered.