Build an HTTP Web Page UI Using seL4

Here’s an application built using the CAmkES Architecture on top of seL4, a formally verified microkernel developed by Data61. DornerWorks used seL4 to componentize and isolate each portion of the Web-Server, providing extreme security.

Read More