3 ms·
Most IoT devices except RPi toys already run a custom bare metal application (OS-less).
by _pmf_ 9y ago
Most IoT devices except RPi toys already run a custom bare metal application (OS-less).
- justincormack 9y agoWhich are urguably unikernel already. The idea is to take this to other platforms...
- AstralStorm 9y agoIs that with the terrible IoT security practices? The truth is, many developers cannot be trusted to write secure code much less provably secure. Kernels enforce some measure of security by design.
- deleted 9y ago[deleted]
- lmm 9y agoHow so? In an IoT device the userspace process usually has access to whatever the device is actually doing, so which part is the kernel actually securing? I'd expect unikernel devices to end up more secure: no shipping old Linux kernels full of vulnerabilities, and you're naturally guided towards using a safer programming language (OCaml).