The C library that all our released seL4 projects use contains a scanf implementation.
What is missing is an implementation of the read 'syscall' that muslc attempts
to use (see sys_readv in libsel4muslcsys). It should be fairly trivial to connect the read
call to one of the 'serial_getchar' implementations in libplatsupport. While not
in the library OS framework, there is an example of this as well as a simple interactive
terminal in refOS (https://github.com/seL4/refos
On 09/11/14 16:07, Yashwardhan Singh wrote:
I am trying to modify the seL4 scheduler as a part of my project. I was wondering if there
is any function present in the library OS like scanf which can help me in writing an
interactive process , to measure the response time of the scheduler for interactive
I was also curious if there is any shell like framework for sel4, from which multiple
processes can be started concurrently and so that they run in background.
Is there a benchmark suite for generation of performance metrics using the data structures
present in /kernel/src/arch/ia32/api/benchmark.
Thanks and Regards
Devel mailing list
The information in this e-mail may be confidential and subject to legal professional
privilege and/or copyright. National ICT Australia Limited accepts no liability for any
damage caused by this email or its attachments.