Test cases and drivers for the Raspberry Pi BSP on RTEMS
-
Updated
Aug 21, 2015 - C
Test cases and drivers for the Raspberry Pi BSP on RTEMS
🖱 MIEIC 2019/2020 - 2º ano / 1º semestre
FreeBSD NetFPGA SUME device driver
AMD (Advanced Micro Devices) device drivers for the WacOS operating system project.
A low-level device drivers library for the programming of AVR 8-bit microcontroller and its peripherals. The library is written specifically for the ATmega32 MCU, but can be ported to or used with other MCUs within the same family with little or no modification.
debug/test/trace tool for linux 80211
An introductory guide and codebase for understanding and implementing character device drivers in Linux. Dive into the world of kernel programming and learn how to create your own character device drivers step-by-step
A pseudo character driver that can create N devices with sysfs attributes.
🖱️ Proposed solution for the Computer Laboratory course @FEUP
🌟Welcome to Newfangled OS 🚀Unveiling the Newfangled Operating System-a remarkable blend of innovation and security built on the impervious seL4 Microkernel.🛡️Our journey began with dedicated servers and a threaded execution model,including File and Process Management servers, and a robust Interrupt Handling thread.🛠️📊Join us in the revolution.
This repository is a comprehensive resource for learning the fundamental concepts and principles of operating systems. It is designed to support a structured course that covers a wide range of topics essential for understanding how operating systems function, interact with hardware, and manage software applications.
A Tutorial how to get started with Linux Kernel Modules and Linux Drivers (orig by @Johannes4Linux)
Add a description, image, and links to the device-drivers topic page so that developers can more easily learn about it.
To associate your repository with the device-drivers topic, visit your repo's landing page and select "manage topics."