I'm a PhD student who is currently doing research on multicore real-time
scheduling. I'm considering using Xenomai as a base for my research
experiments, but this would require me to replace or extend the current
scheduler. So far I have found no documents detailing how the scheduler
is implemented or how to extend it (if possible). Could you point me to
information regarding the scheduler?