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