attiayoussef-TA/Aero-partition-hypervisor

A formally structured, safety-critical separation kernel for ARM Cortex-M4, designed to enforce ARINC 653-style time and space partitioning in pure Assembly.

语言：Assembly · GitHub 星标：3 · Fork：0

话题：assembly · avionics · cortex-m4 · embedded-systems · mpu · rtos · safety-critical-bare-metal

在 GitHub 上查看原仓库