├── .gitignore ├── Makefile ├── README.md ├── boot.s ├── grub.cfg ├── idrOS.bin ├── idrOS.idr ├── idrOS.iso ├── kernel.c ├── linker.ld └── rts ├── Makefile ├── arduino └── idris_main.c ├── assert.h ├── idris_bitstring.c ├── idris_bitstring.h ├── idris_gc.c ├── idris_gc.h ├── idris_gmp.c ├── idris_gmp.h ├── idris_heap.c ├── idris_heap.h ├── idris_kernel.c ├── idris_main.c ├── idris_net.c ├── idris_net.h ├── idris_opts.c ├── idris_opts.h ├── idris_rts.c ├── idris_rts.h ├── idris_stats.c ├── idris_stats.h ├── idris_stdfgn.c ├── idris_stdfgn.h ├── libtest.c ├── mini-gmp.c ├── mini-gmp.h └── windows ├── idris_net.c └── idris_stdfgn.c /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stepcut/idrOS/HEAD/.gitignore -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stepcut/idrOS/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stepcut/idrOS/HEAD/README.md -------------------------------------------------------------------------------- /boot.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stepcut/idrOS/HEAD/boot.s -------------------------------------------------------------------------------- /grub.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stepcut/idrOS/HEAD/grub.cfg -------------------------------------------------------------------------------- /idrOS.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stepcut/idrOS/HEAD/idrOS.bin -------------------------------------------------------------------------------- /idrOS.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stepcut/idrOS/HEAD/idrOS.idr -------------------------------------------------------------------------------- /idrOS.iso: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stepcut/idrOS/HEAD/idrOS.iso -------------------------------------------------------------------------------- /kernel.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stepcut/idrOS/HEAD/kernel.c -------------------------------------------------------------------------------- /linker.ld: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stepcut/idrOS/HEAD/linker.ld -------------------------------------------------------------------------------- /rts/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stepcut/idrOS/HEAD/rts/Makefile -------------------------------------------------------------------------------- /rts/arduino/idris_main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stepcut/idrOS/HEAD/rts/arduino/idris_main.c -------------------------------------------------------------------------------- /rts/assert.h: -------------------------------------------------------------------------------- 1 | // nothing really here 2 | 3 | -------------------------------------------------------------------------------- /rts/idris_bitstring.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stepcut/idrOS/HEAD/rts/idris_bitstring.c -------------------------------------------------------------------------------- /rts/idris_bitstring.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stepcut/idrOS/HEAD/rts/idris_bitstring.h -------------------------------------------------------------------------------- /rts/idris_gc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stepcut/idrOS/HEAD/rts/idris_gc.c -------------------------------------------------------------------------------- /rts/idris_gc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stepcut/idrOS/HEAD/rts/idris_gc.h -------------------------------------------------------------------------------- /rts/idris_gmp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stepcut/idrOS/HEAD/rts/idris_gmp.c -------------------------------------------------------------------------------- /rts/idris_gmp.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stepcut/idrOS/HEAD/rts/idris_gmp.h -------------------------------------------------------------------------------- /rts/idris_heap.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stepcut/idrOS/HEAD/rts/idris_heap.c -------------------------------------------------------------------------------- /rts/idris_heap.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stepcut/idrOS/HEAD/rts/idris_heap.h -------------------------------------------------------------------------------- /rts/idris_kernel.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stepcut/idrOS/HEAD/rts/idris_kernel.c -------------------------------------------------------------------------------- /rts/idris_main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stepcut/idrOS/HEAD/rts/idris_main.c -------------------------------------------------------------------------------- /rts/idris_net.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stepcut/idrOS/HEAD/rts/idris_net.c -------------------------------------------------------------------------------- /rts/idris_net.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stepcut/idrOS/HEAD/rts/idris_net.h -------------------------------------------------------------------------------- /rts/idris_opts.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stepcut/idrOS/HEAD/rts/idris_opts.c -------------------------------------------------------------------------------- /rts/idris_opts.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stepcut/idrOS/HEAD/rts/idris_opts.h -------------------------------------------------------------------------------- /rts/idris_rts.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stepcut/idrOS/HEAD/rts/idris_rts.c -------------------------------------------------------------------------------- /rts/idris_rts.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stepcut/idrOS/HEAD/rts/idris_rts.h -------------------------------------------------------------------------------- /rts/idris_stats.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stepcut/idrOS/HEAD/rts/idris_stats.c -------------------------------------------------------------------------------- /rts/idris_stats.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stepcut/idrOS/HEAD/rts/idris_stats.h -------------------------------------------------------------------------------- /rts/idris_stdfgn.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stepcut/idrOS/HEAD/rts/idris_stdfgn.c -------------------------------------------------------------------------------- /rts/idris_stdfgn.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stepcut/idrOS/HEAD/rts/idris_stdfgn.h -------------------------------------------------------------------------------- /rts/libtest.c: -------------------------------------------------------------------------------- 1 | int main() {} 2 | -------------------------------------------------------------------------------- /rts/mini-gmp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stepcut/idrOS/HEAD/rts/mini-gmp.c -------------------------------------------------------------------------------- /rts/mini-gmp.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stepcut/idrOS/HEAD/rts/mini-gmp.h -------------------------------------------------------------------------------- /rts/windows/idris_net.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stepcut/idrOS/HEAD/rts/windows/idris_net.c -------------------------------------------------------------------------------- /rts/windows/idris_stdfgn.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stepcut/idrOS/HEAD/rts/windows/idris_stdfgn.c --------------------------------------------------------------------------------