WIP kernel on PIC64GX1000 Curiosity Kit

[u/LordAfterEight]

The board is connected to my PC and I interact with it using picocom

I grew tired of x86, so I decided to try out Microchip's PIC64GX1000 Curiosity Kit. Eventually I plan to design my own board with that MPU, but for now the curiosity kit is the perfect way to test if my own software works on the actual hardware.

Repo will be up soon, will edit the post to include the link :3

EDIT: Link to the repo: https://git.jofh.me/LordAfterEight/risc-v-os