I have question about process and thread in tutorials.
1. sel4 doesn't have process concept.
But making new process is exist in tutorial hello-4.
What is the exactly difference trhead in hello-2 and process in hello-4?
2. In tutorials hello-4, where can I find access path that hello-4 process link hello-4-app?
It means I think hello-4 process should designate hello-4-app's path.