GXDE OS: 稳定,优雅,轻量的Linux操作系统
GXDE 基于 DDE15 重生构建,全称为 Gorgeous eXtended Deepin Environment ,致力于提供稳定,优雅,轻量的使用体验,减少新手痛苦,节省老手时间
GXDE Devepoler center
LiteOS kernel for embedded devices with rich resources | 适用于资源较丰富嵌入式设备的LiteOS内核
基于ARM M4系列开发的 嵌入式分时分区实时系统。该系统目前运行于STM32F4控制器上,期望作为高安全领域的嵌入式操作系统应用。
VSF全称是Versaloon Software Framework,是一个基于Apache2.0协议的开源嵌入式软件平台框架。包含了从底层硬件的hal驱动、抢占式多任务内核、各种服务和组件。全部代码使用C语言,以及面向对象的方式实现。
为BabyOS增加使用例子,请根据需要切换至对应分支
BabyOS作为子模块,因此克隆需要依次运行以下指令:
①git clone https://gitee.com/notrynohigh/BabyOS_Example.git
②git submodule init
③git submodule update
MKRTOS 是第三代微内核操作系统,支持Cortex-A&Cortex-M核,支持动态加载app执行(MPU保护),支持ELF支持(MMU保护),多线程,进程隔离等功能。提供标准化的posix接口支持,未来还将支持虚拟化。MKRTOS适用于对安全与稳定性要求较高的场合。