Post #4298925

Okay, so I now have code written in Idris 2 and running on seL4. Next steps are to begin modeling seL4 within Idris 2 so I can start writing drivers and the like. Gotta do a little planning. Might also take a pause to get the careful.party server set up enough to begin inviting people in. I want to share my code, but I'm trying to feel out a post-FLOSS method of doing so as I go. The minimal route I see is through a sort of tilde server with services secured via Wireguard.