Repository for ASE 2017 paper, "Modular Verification of Interrupt-driven Software".
-
Updated
May 20, 2019 - C
#
interrupt-driven-programs
Here are 14 public repositories matching this topic...
A simple yet insightful program to set multiple gpio interrupts
gpio-pins espressif interrupts interrupt-driven-programs hardware-interrupts esp32-idf interrupt-handler interrupt-handling
-
Updated
Feb 26, 2022 - C
Make a keyboard yourself at home using ARM-Cortex-M4 micro-controller
-
Updated
Aug 21, 2024 - C
MCP23017 / MCP23S17 WiringPi expansion library utilizing the chip's interrupt capability for event driven functionality
-
Updated
Jun 2, 2025 - C
An example for the interrupt based timers for ATmega328P micro-controller. Using CMake based build powered by PlaftormIO
-
Updated
Sep 20, 2022 - C
An adaptation of the famous ‘Cuphead’ game on the Minix operating system
-
Updated
Jun 12, 2024 - C
Set of projects developed on the TivaWare Development Board with the ARM Cortex M4 processor
assembly-language sensors timers stepper-motor serial-communication analog-comparator interrupt-driven-programs arm-cortex-m4 analog-to-digital-converter
-
Updated
Feb 16, 2022 - C
L.EIC 2ⁿᵈ year/ 2ⁿᵈ semester
-
Updated
Jun 23, 2023 - C
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
linux kernel driver adc i2c-bus interrupt interrupt-driven-programs analog-to-digital-converter kerneldriver ads7924
-
Updated
Mar 18, 2025 - C
Real-time Operating Systems Logger Library with three different real-time signals
linux interrupts rtos interrupt-driven-programs interrupt-handler real-time-operating-system real-time-operating-systems
-
Updated
Jan 22, 2023 - C
This repo contains documentation for OS installation and system call on Minix OS.
timer mouse course-project memory-management openssh minix-os virtualbox-vm lcom minix3-ipc pkgin interrupt-driven-programs operational-systems device-drivers feup-lcom
-
Updated
Jul 18, 2025 - C
🖱️ Proposed solution for the Computer Laboratory course @FEUP
-
Updated
Jun 4, 2021 - C
STM32F446Re_UART_Communication (Baremetal)
-
Updated
Oct 6, 2022 - C
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.
-
Updated
Jun 30, 2025 - C
Improve this page
Add a description, image, and links to the interrupt-driven-programs topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the interrupt-driven-programs topic, visit your repo's landing page and select "manage topics."