STATUS: PRODUCT_LINEUP
PRODUCT_PORTFOLIO
> CAPABILITY_BASED_OS [OK]
> USERSAPCE_SERVICES [OK]
> SOURCE_AVAILABLE [OK]
MICROKERNEL
Capability-based microkernel with Type-1 hypervisor
- > Capability Security (CNode/VSpace)
- > Type-1 Hypervisor (EL2, VCPU)
- > Migrating-Thread IPC (SMP)
- > 14 Driver Categories
EXPLORE →
AGENT
DeepSeek-powered agent manager service
- > DeepSeek LLM Integration
- > Kernel State Query via IPC
- > System Task Automation
- > Chat Shell UI (LVGL)
EXPLORE →
AGENT
AI-Native System Intelligence
- > DeepSeek-Powered agentmgr
- > Intent-Based Computing Model
- > Real-Time Kernel State Sync
- > 23 Apps with AI Chat Shell
EXPLORE →