Advanced Operating System Course at ETHZ
☆20Jan 8, 2021Updated 5 years ago
Alternatives and similar repositories for advanced_operating_systems_2020
Users that are interested in advanced_operating_systems_2020 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Librarian: An Empirical Study of Security Updates in Android Apps’ Native Code☆22Jan 22, 2021Updated 5 years ago
- EuroSys '23 Artifact Evaluation for "Fail through the Cracks: Cross-System Interaction Failures in Modern Cloud Systems"☆11Mar 12, 2023Updated 3 years ago
- NVIDIA Linux open GPU with P2P support☆12Aug 2, 2026Updated 2 months ago
- A bare metal AArch64 hello-world program, that is run in a KVM AArch64 VM.☆29Jan 6, 2024Updated 2 years ago
- Breaking Confidential VMs with Malicious Interrupts (USENIX Security 2024)☆32May 3, 2024Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Low-level rust-support for the Arduino Uno Q platform (STM32U585 MCU + DragonWing QRB2210 Linux MPU).☆15Mar 25, 2026Updated 7 months ago
- ☆14Sep 17, 2026Updated last month
- ☆12Feb 19, 2026Updated 8 months ago
- Deduplication over dis-aggregated memory for Serverless Computing☆14Mar 21, 2022Updated 4 years ago
- UNIX-like microkernel operating system for Atmel AVR CPUs, entirely from scratch☆14Feb 23, 2019Updated 7 years ago
- Currently Learning Rust☆16Aug 11, 2022Updated 4 years ago
- A CPS transforming scheme compiler, Cheney on the MTA, etc☆14Dec 18, 2020Updated 5 years ago
- Rust ports of Arduino libraries for the Arduino Uno Q (STM32U585) using Zephyr RTOS.☆14Mar 18, 2026Updated 7 months ago
- ☆14Jan 30, 2012Updated 14 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.
- FreeRTOS + Visual Studio Code project + Posix + GCC☆10Mar 2, 2021Updated 5 years ago
- ☆15Nov 30, 2023Updated 2 years ago
- EuroSys '24: "Trinity: A Fast Compressed Multi-attribute Data Store"☆18Mar 8, 2025Updated last year
- uiomem is a Linux device driver for accessing a memory area outside the Linux Kernel management from user space.☆15Updated this week
- ☆12Apr 20, 2024Updated 2 years ago
- Ultimately an essential - powerful - easy to use - dividend portfolio sheet.☆12Jan 11, 2023Updated 3 years ago
- Linux kernel source tree☆10Oct 11, 2017Updated 9 years ago
- CHIP-8 Emulator in Rust☆13May 11, 2018Updated 8 years ago
- ☆12Updated this week
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆20Jan 9, 2025Updated last year
- An Implementation of Generalized Deduplication, written in Rust☆12Jan 10, 2024Updated 2 years ago
- Obsidian plugin to map hotkeys to editor commands☆13Aug 28, 2021Updated 5 years ago
- Gathers most appreciated Linux debugging methods in a step by step manual.☆21Oct 4, 2019Updated 7 years ago
- hardware test for CPU，GPU，I/O，memory bandwidth performance☆25Sep 21, 2018Updated 8 years ago
- ☆13Apr 9, 2022Updated 4 years ago
- A simple Mali 6xx/7xx register interface model that doesn't do any rendering.☆13Jan 29, 2016Updated 10 years ago
- FreeRTOS Linux simulator with CMake☆15Dec 10, 2020Updated 5 years ago
- Linux UIO Library in Rust☆22Jun 7, 2026Updated 4 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆11Mar 26, 2015Updated 11 years ago
- ☆19Sep 14, 2025Updated last year
- ☆10Feb 1, 2023Updated 3 years ago
- CIDM 6330☆13Mar 1, 2026Updated 7 months ago
- OpenAMP fork of the kvmtool Project. For experimental work and upstream staging.☆11Apr 4, 2024Updated 2 years ago
- ☆12May 18, 2023Updated 3 years ago
- Dired Image Slideshow☆15Jul 27, 2022Updated 4 years ago