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?


thanks.