[seL4] Re: Operating Systems built on top of seL4

On 8/2/21, Sidhartha Agrawal <siagraw@cs.ubc.ca> wrote:

Hi Andrew, Thank you for your project. I will check out the root task in your project, that is what I was looking for. This might be a silly question, does UX/RT stand for *Unix Real Time*?

Actually it stands for Universally eXtensible Real Time. Right now the root task doesn't do anything other than parsing the MBI and testing the allocators.