Anna Lyons

What did the previous output look like?

ok. Thanks for the improvement. Two comments: - Can we keep it pipe seperated, or at least seperated consistently? - Can you re-add the header and remove the repeated content...

We truncate to avoid attempting to read values from an IPC buffer that doesn't exist. Note that most kernel system calls fit into registers and don't need the IPC buffer...

That `length` value is passed through to every invocation and used to decode messages from the buffer. Maybe the haskell spec will contain info as to why, IMO it's a...

Historically the seL4 manual hard coded all values and made no references to constants in seL4. I fixed this in a few places (mostly because the hard coded values were,...