RuxOS是由矽望社区开发和维护的一款兼容Linux应用程序的轻量化库操作系统，遵循Unikernel设计**。
RuxOS运行于QEMU之上，并支持X86_64、AArch64、Riscv64三种架构。目前，在应用支持方面，RuxOS已经支持了多个主流应用：Redis、Nginx、WAMR等；在编程语言方面，RuxOS提供了C标准库API，并完成了musl libc在X86_64和AArch64上的支持。此外，还支持了C++语言，目前正在进行Rust以及Python的支持。
Haskell是一款静态的、隐式类型的函数式编程语言。其函数式编程范式对于形式化推理、算法研究以及编程语言理论等领域具有强大的吸引力。同时，其优秀的并发编程模型支持使得Haskell在网络应用、并行和分布式计算等领域也有着独特的优势。
本项目的目的是丰富RuxOS的语言层支持，完成对Haskell的支持。
- 修改、丰富RuxOS现有组件，设计并完成RuxOS对Haskell的支持。
- 在RuxOS上运行Haskell应用，通过标准测试框架。
- 分析、利用Unikernel的特点设计Haskell的支持思路，形成详细文档。
- 考虑多架构的支持，分别测试在X86_64和AArch64上的运行情况。
- 矽望社区技术文档
- RuxOS-Book
- RuxOS开源代码
- 新型内核（如unikernel、微内核等）
- 编程语言支持（如转换、编码等）
-
以小组为单位参赛，最多三人一个小组，且小组成员是来自同一所高校的本科生或研究生
-
允许学生参加大赛的多个不同题目，最终自己选择一个题目参与评奖
-
请遵循“2024全国大学生操作系统比赛”的章程和技术方案要求
中等
Mulan PSL v2
2024全国大学生操作系统比赛的“OS功能挑战”赛道
- 姓名：陈康
- 单位：清华大学计算机系
- github ID：nk7651
- email：chenkang@tsinghua.edu.cn
-
姓名：吴政
-
email：ken4647@outlook.com
-
姓名：徐金阳
-
email：459461160@qq.com