Brief
I've written a new TeX document describing the CoreProcessScheduler system in detail.
It helps understanding NeKernel/VMKernel system internals.
Note
One shall look at generating the LaTeX file directly. Here's the link: https://github.com/nekernel-org/nekernel/blob/dev/docs/tex/core_process_scheduler.tex
Links
LINKAmlal.