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 :)