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" 
http://www.cse.unsw.edu.au/~cs9242/14/lectures/01-intro.pdf
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?