riscv-gnu-toolchain 是一个用来支持 RISC-V 为后端的C和C++交叉编译工具链, 包含通用的ELF/Newlib和更复杂的Linux-ELF/glibc两种
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的研究笔记以及一些自己的心得
Contributions last year: 7
Max continuous contributions: 1
Recent contributions: 1
Commits, issues, and pull requests will appear on your contribution graph. Only when the email address used for the commits in local configuration is associated with your GitOSC account, the commits' contribution will be counted.