Martin Daser's repositories
ardukey-firmware
ArduKey firmware for TinyUSBBoard or Arduino Leonardo
buildroot
Buildroot, making embedded Linux easy. Note that this is not the official repository, but only a mirror. The official Git repository is at http://git.buildroot.net/buildroot/. Do not open issues or file pull requests here.
Language:MakefileNOASSERTION000
buildroot-by-bootlin
Port branch debugging-training/2022.08 to the Pine64 board.
Language:MakefileNOASSERTION000