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 [email protected]<mailto:[email protected]> 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.
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
