MICOFE - Micro-Container for Edge Computing

MICOFE provides a highly secure, virtualized approach to deploy and manage micro-services in embedded systems, combining the SOO mobile entity concept and the SO3 operating system with Arm64 virtualization.

• 1. Introduction
  • 1.1. Acknowledgements
• 2. Architecture
• 3. EMISO
  • 3.1. Service
  • 3.2. Architecture
  • 3.3. Daemon
• 4. Portainer
  • 4.1. Installation
  • 4.2. Initial setup
  • 4.3. Creation of an environment
  • 4.4. Creation of a SO3 Capsule
• 5. Alignment of syscalls
  • 5.1. Analysis of MUSL requirements
  • 5.2. Difference in SO3 implementation
  • 5.3. Implementation changes
  • 5.4. Toolchain
• 6. Integration of C++ in SO3 user space
  • 6.1. Main runtime requirements
  • 6.2. Compiler and runtime integration
  • 6.3. Expected benefits for applications
  • 6.4. Current scope and limitations
  • 6.5. Position within the project
• 7. Capsules and LVGL integration
  • 7.1. Sharing the framebuffer
  • 7.2. Two-stage MMU address mapping
  • 7.3. Backend / frontend drivers
  • 7.4. Input forwarding
• 8. Demonstrator and showcase
  • 8.1. Demonstrator principles
  • 8.2. Demonstrator setup and prerequisites
  • 8.3. Scenario 1 — Multi-capsule composition next to a Linux “critical UI”
  • 8.4. Scenario 2 — Capsule portability across boards and emulation
  • 8.5. Discussion, limitations, and next steps
• 9. Glossary

To edit the documentation and to use the correct underlying policy, you can read this documentation style guide.