List view
# Industrial needs part 1 This milestone is made to start include more industrial-related needs ## Hierarchical scheduling - Support for domain scheduling (MILS target) - Initiate domain-specific syscalls using domain-related capability tagging (e.g. SECURITY_DOMAIN notion for watchdogs & crtitical events logging ## security & safety related ffeatures - kernel syscalls CFI included (optional config), alongside HW watchdog (panic on abnormal timeout) - support for auto-events secured marking during runtime for post-mortem analysis - support for configuration analysis tool to allow security level compliance levels (automatic project build time profile security level and delivers 'security' compliant automatic configuration
No due date•0/2 issues closed## Formal proofness - Support for enhanced formal correctness - Adding Binsec support to validate compilation output in comparison with sources ## Hardening feature-set - Hardware watchdog auto-trigger on kernel-side RoP exploitation (timeoout-based) ## Functional feature-set - port for RP2350 complete at kernel level
No due date•0/9 issues closed## Move to full OSS - Fully OSS independent instance of Sentry, including no Zephir nor Ledger related dependency ## Rust integration - complete Rust support for UAPI, allowing full Rust application development with a total access to the kernel UAPI ## Security features - complete validation of capability checking ## Functionalities - finalization of DMA subsystem support - current syscall interface complete with no more missing featuring ## Ports - SoCs : SMP & RaspberryPi port initialized (kernel architecture should be "portable ready" - Arch: RV32I port started and ready to boot on emulated board to start with (next in 0.6)
No due date•23/30 issues closed