• 1
• 0
• 62

prelude/djysrc forked from djyos/djysrc

都江堰操作系统（简称djyos）是国内原创的免费开源操作系统，采用类BSD许可证。djyos是事件调度的操作系统，不同于其他在线程调度之上增加一个事件驱动外壳的系统，djyos直接以事件为调度对象。 djyos以高可靠性、高实时性著称，它的中断响应速度跟裸跑一致。在工业上，djyos应用于实时性和可靠性要求都很高的电力系统控制领域，也广泛适用于物联网系统。 djyos是一个典型的RTOS，它有自己的tcpip协议栈、gui、文件系统、IO系统等，有完善的设备驱动框架，以及标准化的SPI、IIC、can等总线接口架构。

• 1
• 0
• 1

prelude/artpi_jerry forked from 张世争/artpi_jerry

artpi_jerry，RT-Thread ART-Pi 开发板，移植使用 jerryscript

• 1
• 0
• 5

prelude/jerryscript forked from Gitee 极速下载/jerryscript

• 1
• 0
• 7

prelude/seL4-study-notes forked from tupelo-shen/seL4-study-notes

记录对seL4的研究笔记以及一些自己的心得

• 1
• 0
• 6

prelude/seL4内核源码注释 forked from laokz/seL4内核源码注释

seL4-20200714-x86_64内核源码注释

• 1
• 0
• 78

prelude/riscv-gnu-toolchain forked from Gitee 极速下载/riscv-gnu-toolchain

riscv-gnu-toolchain 是一个用来支持 RISC-V 为后端的C和C++交叉编译工具链, 包含通用的ELF/Newlib和更复杂的Linux-ELF/glibc两种

• 1
• 0
• 2

prelude/typora_software forked from zeny/typora_software

typora软件安装包