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

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

seL4-20200714-x86_64内核源码注释

typora软件安装包

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