I'm really excited about this!
Some of our recent work has been trying to stabilize more low-level stuff, and so general experience reports on things like OSdev are very useful.
I only read the abstract and the proposed extension, but haven't had enough time to digest it yet. Looking forward to this!