Linux is playing very well in the case of embedded system. But actually a variety of embedded systems make IoT so Linux definitely still can contribute here. But many IoT device are deployed in the critical infrastructures like the energy generation, avionic, automotive, etc, where everything need to be certified according to different specifications. So we need to explore making Linux itself certified.
Some efforts like SIL2LinuxMP is working on this but we’d like to further explore more on this area. With this effort, in our presentation we'd like to review together if-how we build a customized Linux distribution with some technologies:
- Every system service are containerized.
- To be deterministic
- Unikernel context
- Minimize kernel
- Some potential hardware features
- To be stable
- …
