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.Framework 13 Touchpad USB Bridge
I designed some electronics for taking a Framework 13 touchpad module and bridging it to USB. Pretty simple firmware shim, but useful as a design.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=gKOMJnr1MINRLJsdYou may also want to check out my website at https://micl.dev! Thanks for visiting :)