Description:
Avocado Linux strives to create a distribution and ecosystem of tools specifically for embedded developers. Avocado systems should be quick to build, delightful to develop on, and ready for production, always.
Electronics, Embedded and PCB Design
OpenTitan
Description:
OpenTitan is the first open source project building a transparent, high-quality reference design and integration guidelines for silicon root of trust (RoT) chips.
PebbleOS
Description:
This is the latest version of the internal repository from Pebble Technology providing the software to run on Pebble watches. Proprietary source code has been removed from this repository and it will not compile as-is. This is for information only.
Kwik EFIS
Description:
Kwik EFIS is a suite of applications which implement a Glass Cockpit solution designed to function on most Android devices equipped with a GPS, gyroscope, accelerometer and a CPU with reasonable performance.
ELKS
Description:
ELKS is a project providing a Linux-like OS for systems based on the Intel IA16 architecture (16-bit processors: 8086, 8088, 80188, 80186, 80286, NEC V20, V30 and compatibles). Such systems are ancient computers (IBM-PC XT / AT and clones) as well as more recent SBCs, SoCs, and FPGAs. ELKS supports networking and installation to HDD using both MINIX and FAT file systems.
Kv4p-ht
Description:
Turn your Android phone into a modern ham radio transceiver
CircuitPython
Description:
CircuitPython is a beginner friendly, open source version of Python for tiny, inexpensive computers called microcontrollers. Microcontrollers are the brains of many electronics including a wide variety of development boards used to build hobby projects and prototypes. CircuitPython in electronics is one of the best ways to learn to code because it connects code to reality
MicroPython
Description:
MicroPython – a lean and efficient Python implementation for microcontrollers and constrained systems
rpi-imager
Description:
Your Raspberry Pi needs an operating system to work. This is it. Raspberry Pi OS (previously called Raspbian) is our official supported operating system.