@RWTH-OS

RWTH Aachen University, OS Research @ ACS

Part of the Institute for Automation of Complex Power Systems

  • The original sources of MS-DOS 1.25 and 2.0, for reference purposes

    Assembly 1,554 Updated Sep 29, 2018
  • A teaching operating system written in Rust

    Rust 105 7 MIT Updated Sep 29, 2018
  • An educational hypervisor for eduOS-rs

    Rust 2 MIT Updated Sep 26, 2018
  • Rust library to use x86 (amd64) specific functionality and registers.

    Rust 18 MIT Updated Sep 26, 2018
  • KVM Rust create. Forked from https://gitlab.com/preon/libkvm

    Rust 1 Updated Sep 18, 2018
  • Windows Hypervisor Platform Rust crate

    Rust 1 Apache-2.0 Updated Sep 15, 2018
  • Rust API to the OS X Hypervisor framework for hardware-accelerated virtualization

    Rust 2 MIT Updated Sep 9, 2018
  • Template for a LaTeX beamer slides inspired by the (old) RWTH style

    TeX 17 4 GPL-3.0 Updated Aug 6, 2018
  • Fork from git://libvirt.org/libvirt.git extending it by the lxctools driver.

    C 4 3 LGPL-2.1 Updated Jul 18, 2018
  • POSIX Threads for embedded systems (PTE)

    C 1 2 Updated Jul 3, 2018
  • A Unikernel for Extreme-Scale Computing

    C 23 BSD-3-Clause Updated May 29, 2018
  • Mirror of git clone git://sourceware.org/git/newlib-cygwin.git

    C 1 3 Updated May 25, 2018
  • Mirror of git://gcc.gnu.org/git/gcc.git

    C 1 1 Updated May 25, 2018
  • Mirror of git://sourceware.org/git/binutils-gdb.git

    C 1 3 Updated May 19, 2018
  • Allows for initiating start, stop, and migration of virtual machines by means of MQTT messages.

    C++ 1 4 LGPL-3.0 Updated May 15, 2018
  • rust

    Forked from rust-lang/rust

    A safe, concurrent, practical language.

    Rust 5,237 Updated Mar 22, 2018
  • cpuid library in rust.

    Rust 13 MIT Updated Mar 2, 2018
  • C 1 6 Updated Jan 15, 2018
  • a smol tcp/ip stack

    Rust 49 Updated Nov 23, 2017
  • linux

    Forked from torvalds/linux

    Linux kernel source tree

    C 2 23,546 Updated Aug 1, 2017
  • unik

    Forked from solo-io/unik

    The Unikernel Compilation and Deployment Platform

    Go 140 Apache-2.0 Updated Jul 3, 2017
  • eduOS Archived

    A teaching operating system to get a deeper knowledge in the design of system software

    C 70 20 Updated Jun 14, 2017
  • kvm

    Forked from dschatzberg/kvm

    Rust bindings to the KVM interface

    Rust 2 Apache-2.0 Updated May 31, 2017
  • Example code from the course "Foundations of Computer Science 4"

    C 1 8 GPL-2.0 Updated May 18, 2017
  • Library to program x86_64 hardware.

    Rust 19 MIT Updated May 11, 2017
  • Collection of MPI benchmarks

    C Apache-2.0 Updated Mar 31, 2017
  • POSIX Threads for embedded systems (PTE)

    C 1 11 Updated Dec 30, 2016
  • C 25 GPL-2.0 Updated Sep 12, 2016
  • C 50 Updated Aug 22, 2016
  • Based on philix 0.2 from http://philix.halek.co

    C Updated Jul 3, 2016
  • Top languages

    Loading…

    Most used topics

    Loading…