I do like to imagine a future where the modem/router becomes a place people can host their own data. A formally verified Deno-like web-server on seL4. The actua

I do like to imagine a future where the modem/router becomes a place people can host their own data. A formally verified Deno-like web-server on seL4. The actual modem/router software running in a separate VM.