Hi, all

first, I do not speak English well. please answer to me easily.


i'm studying seL4 kernel source code.

i have some questions.


1. What is domain? i read manual but i don't understand well.

I hope that you explain to me in detail about the domain.


2. What is the maximum number of threads that can be created in one domain?


3. Usually there is a function to create a new thread in kernel source code.

but i can't find the function in seL4 kernel source code.

What is the way to create a new user thread in seL4? also, what is the way to exit user thread in seL4?