systems-cs-pub-ro / ioclaLinks
Repository public IOCLA
☆22Updated this week
Alternatives and similar repositories for iocla
Users that are interested in iocla are comparing it to the libraries listed below
Sorting:
- Teaching resources (OER) for Operating Systems☆70Updated last year
- The first analysis framework for CPU microcode☆404Updated 2 years ago
- Easily build and run CHERI related projects☆84Updated last week
- Low-Level Software Security for Compiler Developers☆582Updated last week
- Student Starter Code for Secure Hardware Design at MIT☆80Updated last year
- ☆80Updated 5 months ago
- The Hux x86 32-bit Toy Operating System Kernel (with full wiki pages as development tutorial)☆69Updated 3 years ago
- Unikraft Google Summer of Code☆14Updated 2 months ago
- Firmware Guide☆112Updated 3 years ago
- LLVM (Low Level Virtual Machine) Guide. Learn all about the compiler infrastructure, which is designed for compile-time, link-time, run-t…☆189Updated last year
- Tutorial to help developers ramp up on UEFI environment and programming.☆118Updated 8 years ago
- The front page and documentation for the Unikraft Open-Source Project.☆35Updated 2 months ago
- A bare metal AArch64 hello-world program, that is run in a KVM AArch64 VM.☆26Updated last year
- All Algorithms implemented in AArch64 Assembly☆176Updated last year
- Leo Hypervisor. ARM64 Hypervisor on Raspberry Pi 4 machine.☆39Updated 3 years ago
- Arbitrary Speculative Code Execution with Return Instructions☆172Updated last year
- Virtual Machine built as a CAmkES component.☆24Updated 3 months ago
- An OS based on UEFI☆92Updated last year
- 🍞 BREAD: BIOS Reverse Engineering & Advanced Debugger☆319Updated last month
- Minimal ARM Operating System for the Raspberry Pi, supporting Aarch32 and Aarch64 architectures.☆30Updated 4 years ago
- An unofficial guide to contributing to GCC, aimed at newbies☆124Updated last year
- Mirror of git.qemu.org/seabios.git☆70Updated 3 months ago
- RADII is a UEFI bootloader for the x86_64 architecture. It is made with the goal of understanding how modern desktop computers work, from…☆18Updated 3 years ago
- Static Analyser for C☆138Updated last week
- Mirror of the official Barrelfish OS repository.☆216Updated 2 years ago
- This tutorial discusses technical issues to develop your own linux device driver. The aim of this tutorial is to provide, easy and practi…☆42Updated 4 years ago
- ☆412Updated last week
- RISC-V Security Model☆33Updated this week
- Artefacts for: "VMScape: Exposing and Exploiting Incomplete Branch Predictor Isolation in Cloud Environments"☆29Updated last month
- Useful resources for learning kernel☆19Updated 3 years ago