Luca Dariz's repositories
buildrump.sh
Utilities for building rump kernels
Language:CNOASSERTION000
ChibiOS-RT
Personal ChibiOS fork
Language:CGPL-3.0000
FreeRDP
FreeRDP is a free remote desktop protocol library and clients
Apache-2.0000
gandi-dyndns
A script to update a Gandi A record to point at a machine's external IP address.
Language:PythonMIT000
klee
KLEE Symbolic Virtual Machine
NOASSERTION000
Language:Dockerfile000
Marlin
Optimized firmware for RepRap 3D printers based on the Arduino platform.
Language:CGPL-3.0000
mspdebug
Debugging tool for MSP430 MCUs
Language:CGPL-2.0000
pci-userspace
Kernel PCI device drivers in userspace
Language:C000
rezzlu
A clone of the Ruzzle game, designed to have multiple GUIs and an embedded optimized solver.
Language:PythonGPL-3.0000
rpi23-gen-image
Debian + Mainline Linux Kernel + u-boot Bootstrap Script and Tutorial for RPi2/3
sensors-lxpanel-plugin
Monitor temperature/voltages/fan speeds in LXDE through lm-sensors