— Applications will use system calls to the kernel for specific things. Stuff like yield DISPATCHER_WAIT(pid);
which tells the scheduler to not run the program's main thread again, only running the event loop, until the dispatcher gets an IPC message from the specified pid
Message permanent page