There've been a few messages stuck in the queue recently because
they're too large for the list.
Please remember when sending to the Devel(a)sel4.systems list
-- trim what you're replying to, to just the relevant bits
-- reply in-line (no top-posting)
-- send only plain text (not screen shots or HTML). Serial port
output can be pasted in-line.
This will maximise your chance of getting email through on first
attempt.
--
Dr Peter Chubb
https://trustworthy.systems/
Trustworthy Systems Group CSE, UNSW