Hi Yash,
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)

Adrian

On 09/11/14 16:07, Yashwardhan Singh wrote:

Hi

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 process.

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.

Please help.

Thanks and Regards

Yash
_______________________________________________
Devel mailing list
Devel@sel4.systems
https://sel4.systems/lists/listinfo/devel

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.