Hey Munees,

Sorry, could you please link to the line in source that you're referring to? Ideally, you could navigate to the source file (or files) you're referring to in our github repository (https://github.com/seL4/seL4) and link to the source lines you're talking about -- would really help a lot :)

-- 

Kofi Doku Atuah
Kernel engineer
DATA61 | CSIRO

_______________________________________________
Devel mailing list
Devel@sel4.systems
https://sel4.systems/lists/listinfo/devel