History log of /seL4-camkes-master/tools/rumprun/platform/sel4/librumpsel4_stdio/sel4_stdio_user.c
Revision Date Author Comments
# 2168fe7d 05-Dec-2017 Kent McLeod <Kent.Mcleod@data61.csiro.au>

Add librumpsel4_stdio rump kernel module

Provides stdio support through shared memory circular buffers and seL4
notification objects