Repository for ASE 2017 paper, "Modular Verification of Interrupt-driven Software".
-
Updated
May 20, 2019 - C
Repository for ASE 2017 paper, "Modular Verification of Interrupt-driven Software".
Make a keyboard yourself at home using ARM-Cortex-M4 micro-controller
A simple yet insightful program to set multiple gpio interrupts
MCP23017 / MCP23S17 WiringPi expansion library utilizing the chip's interrupt capability for event driven functionality
An example for the interrupt based timers for ATmega328P micro-controller. Using CMake based build powered by PlaftormIO
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
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.
Set of projects developed on the TivaWare Development Board with the ARM Cortex M4 processor
An adaptation of the famous ‘Cuphead’ game on the Minix operating system
L.EIC 2ⁿᵈ year/ 2ⁿᵈ semester
Real-time Operating Systems Logger Library with three different real-time signals
🖱️ Proposed solution for the Computer Laboratory course @FEUP
STM32F446Re_UART_Communication (Baremetal)
Traffic Control System to manage 4 traffic lights at an intersection using a Finite State Machine (FSM), GPIO Inputs for car detection, and GPIO Outputs to drive RGB LEDs.
This repo contains documentation for OS installation and system call on Minix OS.
Add a description, image, and links to the interrupt-driven-programs topic page so that developers can more easily learn about it.
To associate your repository with the interrupt-driven-programs topic, visit your repo's landing page and select "manage topics."