A frequency counter library for esp32

Repository for ASE 2017 paper, "Modular Verification of Interrupt-driven Software".

A simple yet insightful program to set multiple gpio interrupts

Make a keyboard yourself at home using ARM-Cortex-M4 micro-controller

Stepper Motor Library for embedded platforms. Full featured and high performance.

Pico / rp2040 examples for using PIO

A repository for the three mini-projects during the 2024-2025 course of Embedded Systems and IOT ad the University of Bologna.

MCP23017 / MCP23S17 WiringPi expansion library utilizing the chip's interrupt capability for event driven functionality

Simple kernel written in C++ for 8086 CPU for Operating Systems 1 class.

An example for the interrupt based timers for ATmega328P micro-controller. Using CMake based build powered by PlaftormIO

Set of projects developed on the TivaWare Development Board with the ARM Cortex M4 processor

Configuring tm4c123gh6pm modules using the technical user manual and datasheet

Linux interrupt driven kernel driver for ADS7924 2.2 V, 12-Bit, 4-Channel, MicroPOWER Analog-to-Digital Converter With I2C Interface from Texas Instruments

Real-time Operating Systems Logger Library with three different real-time signals

L.EIC 2ⁿᵈ year/ 2ⁿᵈ semester

debounce a switch using interrupts

🖱️ Proposed solution for the Computer Laboratory course @FEUP

A real-time kernel and interrupt-driven embedded-C program for remotely accessing and controlling the state, orientation and operation of a model helicopter. ENCE361 group project at the University of Canterbury.

An adaptation of the famous ‘Cuphead’ game on the Minix operating system

A 6502-microprocessor driven timer that calculates second based on CPU clock speed (2MHz) and triggers update event using interrupts, with each “second” equivalent to approx. 998 milliseconds in real life.