Great to see this getting played with. In addition to these notes, there's apparently a custom kernel module doing security stuff that was found on twitter.

I mostly find this interesting for how much work went into it. Priorities can be really weird sometimes.

I posted the slides from my CCC talk: https://wills.co.tt/bitbucket/dprk/#/ I'm also happy to answer questions about redstar & related technology.