文件名称：idrOS:一个用 Idris 编写的操作系统（最终......）
文件大小：719KB
文件格式：ZIP
更新时间：2024-07-11 02:14:24
C
这是伊德里斯操作系统的开端。 目前，它主要处于在准系统上启动的阶段。 它可以在 qemu、virtualbox 甚至真实硬件中运行。 要使用 qemu 运行： qemu-system-i386 -kernel idrOS.bin 要在 virtualbox 中启动，请创建一个 virtualbox 机器，然后使用idrOS.iso 。 要自己实际构建 .iso，您需要安装交叉编译器。 我按照这里的说明进行操作： 目前，这个项目中的大部分代码来自这里： Idris 的东西已经被破解到足以让 RTS/内核可以调用 Idris，然后 Idris 将单个 FFI 调用返回到 C 代码中。 目前没有真正的内存分配、垃圾收集等。令人惊奇的是它什么都不做！
【文件预览】：
idrOS-master
----grub.cfg(49B)
----boot.s(4KB)
----idrOS.bin(21KB)
----linker.ld(1KB)
----idrOS.idr(124B)
----rts()
--------idris_rts.c(30KB)
--------idris_stats.c(2KB)
--------idris_bitstring.c(20KB)
--------arduino()
--------idris_stdfgn.c(1KB)
--------mini-gmp.h(10KB)
--------idris_opts.c(3KB)
--------idris_gc.h(131B)
--------idris_net.h(2KB)
--------idris_main.c(761B)
--------idris_rts.h(10KB)
--------idris_bitstring.h(4KB)
--------mini-gmp.c(77KB)
--------idris_stdfgn.h(533B)
--------idris_opts.h(386B)
--------windows()
--------assert.h(24B)
--------idris_gmp.h(1000B)
--------idris_heap.h(711B)
--------idris_heap.c(4KB)
--------idris_gmp.c(8KB)
--------idris_net.c(9KB)
--------Makefile(864B)
--------idris_gc.c(4KB)
--------idris_kernel.c(654B)
--------libtest.c(14B)
--------idris_stats.h(3KB)
----.gitignore(24B)
----Makefile(609B)
----README.md(829B)
----kernel.c(3KB)
----idrOS.iso(1.93MB)