3 ms·
Summary acronyms: IoT should be on SeL4 on RISC-V. RISC-V fits the embedded space, and IoT usually doesn't need much more software on top than a kernel and a d
by lallysingh 5y ago
Summary acronyms: IoT should be on SeL4 on RISC-V.
RISC-V fits the embedded space, and IoT usually doesn't need much more software on top than a kernel and a dumb control service. If an open-source control service (effectively just controlling some I/O pins depending on a config) can get verified, the entire threat vector of IoT would be devastated.