3 ms·
Signed up just to comment on this. I've been wanting to do something similar for a while now (although, an exokernel). You should update your source to use the
by aetherspawn 12y ago
Signed up just to comment on this. I've been wanting to do something similar for a while now (although, an exokernel).
You should update your source to use the new 2014 tools. The verifications become part of the syntax.
- zobzu 12y agoyeah verifications part of the code syntax seems like a decent concept for such cases