Detailed solutions to assignments of MIT's Operating Systems Engineering course
☆58May 15, 2024Updated 2 years ago
Alternatives and similar repositories for jos
Users that are interested in jos are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- MIT 6.828 JOS lab☆58Apr 14, 2017Updated 9 years ago
- MIT JOS 6.828 2011☆22Jul 28, 2012Updated 14 years ago
- JOS lab, MIT 6.828 Operating System Engineering☆407Mar 12, 2024Updated 2 years ago
- me going through JamesM's kernel development tutorials☆42Feb 7, 2020Updated 6 years ago
- Android Kernel source for Tinker Board☆11May 23, 2019Updated 7 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Solution to homework and assignments from MIT's 6.828 (Operating Systems Engineering).☆21Mar 22, 2016Updated 10 years ago
- A framework for lifting ARM32 to LLVM-IR and merging resulting code with LLVM-IR generated from source-code.☆12Oct 20, 2022Updated 3 years ago
- Peripheral Transplantation to Rehost Embedded Linux kernels☆17Mar 6, 2022Updated 4 years ago
- Implementation of Stateless and Stateful Cheetah with TCP timestamps for the Tofino P4 target☆20Sep 10, 2021Updated 4 years ago
- Bare metal RISC-V hello world in C☆21May 13, 2019Updated 7 years ago
- Simple DBMS MIT 6.830☆22Sep 14, 2018Updated 7 years ago
- A faithful port of the 32-bit xv6 learner's operating system to the Rust programming language☆19Oct 25, 2018Updated 7 years ago
- Samsung Exynos 4412 SoC Bootloader☆13Jul 3, 2018Updated 8 years ago
- Artifacts for our ShowTime paper (AsiaCCS '23), including distinguishing cache hits and misses with the human eye.☆14Jul 21, 2023Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Основной сайт Рабочей Группы 21 C++☆10Updated this week
- Artifacts for CO3: Concolic Co-execution for Firmware☆14Dec 30, 2024Updated last year
- ☆10May 31, 2023Updated 3 years ago
- Qt based UI for visual and interactive composition and execution of MLIR compilation flows.☆12Apr 29, 2022Updated 4 years ago
- A version of nuttx used by smoothie-v2☆10Apr 1, 2018Updated 8 years ago
- (WIP) OCaml library for schedule, time, and time slots handling☆15Nov 10, 2020Updated 5 years ago
- Source code of the paper "FirmRCA: Towards Post-Fuzzing Analysis on ARM Embedded Firmware with Efficient Event-based Fault Localization"☆15Jan 6, 2026Updated 8 months ago
- ☆12Jun 4, 2018Updated 8 years ago
- My Interview recording repo.☆11Mar 22, 2023Updated 3 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- RISC-V BSV Specification☆24Apr 28, 2026Updated 4 months ago
- ☆21Sep 25, 2023Updated 2 years ago
- ☆10Nov 3, 2020Updated 5 years ago
- Projects of CS-537: Intro to Operating Systems (Spring 2019) at University of Wisconsin-Madison using xv6 Operating System☆21May 16, 2019Updated 7 years ago
- A blog for LLVM(v11.0.0) beginner, step by step, with detailed documents and comments. Record the way I learn LLVM.☆13Jun 17, 2022Updated 4 years ago
- some my implementation of content in PPA☆18Nov 3, 2020Updated 5 years ago
- A single file C# file to untar file entries from a tar stream.☆18Mar 17, 2024Updated 2 years ago
- Porting FreeRTOS to QEMU(-M virt -cpu cortex-a57)☆11Aug 29, 2018Updated 8 years ago
- qemu patched for debugging, used for 6.828☆85Mar 10, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Evaluation code for confidential virtual machines (AMD SEV-SNP / Intel TDX)☆17Mar 12, 2026Updated 5 months ago
- Solution to homework and assignments from MIT's 6.828 (Operating Systems Engineering).☆37Feb 2, 2016Updated 10 years ago
- RISCulator is a RISC-V emulator.☆12Aug 18, 2023Updated 3 years ago
- Poetic Edda in Old Norse with English translation by H. A. Bellows☆13Feb 12, 2015Updated 11 years ago
- xv6 OS 源码分析☆65Nov 7, 2019Updated 6 years ago
- ☆20Dec 16, 2024Updated last year
- μP4: A framework for programming dataplane of network devices☆35Aug 4, 2020Updated 6 years ago