VirtualTam's bookmarks

1. The benefits and costs of writing a POSIX kernel in a high-level language | USENIX 2018-10-10

   tags: linux/kernel, posix, programming/go

   [ permalink ]

   • https://www.usenix.org/system/files/osdi18-cutler.pdf
   • https://github.com/mit-pdos/biscuit/
   • https://www.mail-archive.com/golang-nuts@googlegroups.com/msg24509.html