I need to find some time to documents some of the components of the computer, but for now you will have to make do with a short video of it in action.
http://hindsbo.dk/blog/wp-content/uploads/2020/04/20200427_160603.mp4
So far you can load the root directory from an SD card, load and/or run a file, and inspect the contents of memory. The file format is the same as C64 with the load address in the first two bytes.
The kernel also contains a number of functions related to the LCD screen and to e.g. display menus and allow for selection of an item, etc.
The little timer in the upper right hand corner is an IRQ wedge I was testing. The system runs an IRQ that updates the screen, reads the buttons, etc. It also allows you to wedge your own IRQ routine (and continue system IRQ if you so chose) which is what I am testing in the boot.prg file I load in the video.