Byron Lathi 1a64fa4d62 Change kernel format to bin for merge ...

We don't have the bootloader reading o65 files right now, so we need to
keep the kernel as a bin file until that is added.

2022-04-20 13:54:07 -05:00

..

devices

Separate kernel code from test code

2022-04-16 21:58:37 -05:00

filesystem

Remove unused code to make code smaller

2022-04-19 15:35:22 -05:00

tests

Separate kernel code from test code

2022-04-16 21:58:37 -05:00

boot.s

Use our own toolchain instead of the one in the image

2022-04-20 12:41:20 -05:00

exec.c

Use our own toolchain instead of the one in the image

2022-04-20 12:41:20 -05:00

exec.h

Separate kernel code from test code

2022-04-16 21:58:37 -05:00

irq.c

Separate kernel code from test code

2022-04-16 21:58:37 -05:00

link.ld

Change kernel format to bin for merge

2022-04-20 13:54:07 -05:00

main.c

Remove unused code to make code smaller

2022-04-19 15:35:22 -05:00

Makefile

Update makefile for tests

2022-04-20 12:59:32 -05:00

vectors.s

Separate kernel code from test code

2022-04-16 21:58:37 -05:00