Hello, I'm Michael Lloyd. I am a student and work at the University of New South Wales.

Some of my projects you may want to check out are:

ProtoKernel (64-bit ARM/RISC-V)

A custom, from-scratch, 64-bit experimental kernel. Inspired by Linux and FreeBSD, it's a proper higher-half kernel that is designed to run on ARMv8 and some RISC-V devices. It's currently my main project.

click-and-collect-intll

The original click-and-collect is an interactive theorem prover for linear logic. I modified it to support a variant of linear logic called "intuitionistic linear logic". This required adding several thousands of lines of functional code. It's still a WIP for some features.

PicoGamePad

This was a PCB I designed, a basic game controller, that was meant to show students how to solder and work with SMD components. This didn't go anywhere, but it's kind of cool.

micromod-teensy-badapple

This project plays "Bad Apple!!" on a Teensy microcontroller variant, at 30-35 FPS. This was actually required some interesting steps, like encoding the video data into a custom format with RLE encoding. Generally, microcontrollers aren't meant to play videos like this. You can see a demonstration of this at https://youtube.com/shorts/9pGKf29HdKk?si=gKOMJnr1MINRLJsd

You may also want to check out my website at https://micl.dev! Thanks for visiting :)