Hacker News new | ask | show | jobs
by kuwze 2848 days ago
Unikernel Systems, which is cool because it is OCaml based. Their stuff is open source too:

https://mirage.io

1 comments

What I would love more than really any other tech improvement would be a “trusted” mirageos hardware/software environment which would remotely attest to its integrity and the degree of hardware protection it gave running programs. Ie a regular dedicated server, a VM, or a HSM attested to by some authority.
It sounds like you'd like Intel SGX. However, it seems Intel botched the implementation and their SGX VMs are leaking data through a number of attack vectors.
Haha I did a startup based on SGX. I will never trust Intel again.