I would like to start from scratch - simple thread or process creation
helloworld in seL4. I saw there are some examples in "sel4test/app" of seL4
application, but I am looking for something smaller.
I have found here on page 39 "Creating a Thread in Own AS and cspace_t"
example of thread creation. Unfortunetly I cannot find header file with "
cspace_ut_retype_addr" or "ut_alloc". Are they obsolete, any replacements?
Are there any small and simple hello-world tutorials or examples avaliable?