Skip to content
Change the repository type filter

All

    Repositories list

    • A LaTeX template for theses
      C
      81713Updated Nov 14, 2024Nov 14, 2024
    • SleepWell

      Public
      C
      0100Updated Nov 28, 2023Nov 28, 2023
    • atlas

      Public
      real-time scheduling and video player infrastructure
      C
      5101Updated Feb 20, 2023Feb 20, 2023
    • gem5-dtu

      Public
      C++
      BSD 3-Clause "New" or "Revised" License
      1.3k500Updated Oct 12, 2022Oct 12, 2022
    • Cabas

      Public
      A framework to use the SCHED_DEADLINE Linux scheduler without providing a specific runtime parameter
      C
      1000Updated Apr 28, 2022Apr 28, 2022
    • NRE

      Public
      NOVA runtime environment (official branch)
      C++
      GNU General Public License v2.0
      1534120Updated Jul 1, 2021Jul 1, 2021
    • NOVA

      Public
      NOVA Microhypervisor
      C++
      Other
      1061030Updated Jul 1, 2021Jul 1, 2021
    • seoul

      Public
      A x86 Virtual Machine Monitor including device modules and instruction emulator. Standalone version of the Vancouver VMM.
      C++
      GNU General Public License v2.0
      1841112Updated Jun 30, 2021Jun 30, 2021
    • Repository linking to the software artifacts used for the MigrOS ATC 2021 paper
      Dockerfile
      31710Updated May 31, 2021May 31, 2021
    • M3

      Public
      Microkernel-based system for heterogeneous manycores
      C
      GNU General Public License v2.0
      2510810Updated Sep 14, 2020Sep 14, 2020
    • morbo

      Public archive
      A toolchain for Firewire booting and remote DMA
      C
      GNU General Public License v2.0
      9810Updated Dec 11, 2019Dec 11, 2019
    • SemperOS

      Public
      C++
      GNU General Public License v2.0
      2500Updated Dec 5, 2019Dec 5, 2019
    • C++
      BSD 3-Clause "New" or "Revised" License
      1000Updated Dec 5, 2019Dec 5, 2019
    • This repo is a mirror of the official lttng-modules git found at git://git.lttng.org/lttng-modules.git. The LTTng modules provide Linux kernel tracing capability to the LTTng 2.x tracer toolset.
      C
      Other
      69000Updated Nov 13, 2019Nov 13, 2019
    • k2-linux

      Public
      Linux kernel source tree
      C
      Other
      54k000Updated Nov 13, 2019Nov 13, 2019
    • flogsim

      Public
      flogsim -- LogP-like network simulator
      C++
      GNU General Public License v3.0
      1030Updated Nov 6, 2019Nov 6, 2019
    • Shell
      Other
      0000Updated Oct 16, 2019Oct 16, 2019
    • Kernel Module for the K2 I/O Scheduler
      C
      GNU General Public License v2.0
      3502Updated Oct 15, 2019Oct 15, 2019
    • ALADDIN

      Public
      A pre-RTL, power-performance model for fixed-function accelerators
      C++
      Other
      55000Updated Jul 18, 2019Jul 18, 2019
    • Scripts for fault injection using flogsim
      R
      GNU General Public License v3.0
      0000Updated Nov 22, 2018Nov 22, 2018
    • Prototype implementation of a library that replaces underlying broadcast implementation in MPI
      C
      GNU General Public License v3.0
      0000Updated Nov 22, 2018Nov 22, 2018
    • M3-bench

      Public
      Benchmark infrastructure for M3, Linux, and NRE
      C
      0000Updated Nov 20, 2018Nov 20, 2018
    • FFmpeg

      Public
      Mirror of git://source.ffmpeg.org/ffmpeg.git
      C
      Other
      12k000Updated Oct 30, 2018Oct 30, 2018
    • EUF_MCD

      Public
      Energy/Utility Scripts and Data for Energy-Sim'18 Paper
      R
      0000Updated Apr 9, 2018Apr 9, 2018
    • eteam-rt

      Public
      The runtime library and command line tools for E-Team
      C++
      4100Updated Jul 13, 2017Jul 13, 2017
    • eteam

      Public
      The implementation of the E-Team scheduler
      C
      Other
      2100Updated Jul 13, 2017Jul 13, 2017
    • libelkvm

      Public
      A library that allows execution of an ELF binary inside a virtual machine without a full-scale operating system
      C++
      GNU General Public License v3.0
      42200Updated Mar 18, 2015Mar 18, 2015
    • Visualization and data aggregation tool for benchmarking
      C++
      GNU General Public License v3.0
      1500Updated Oct 28, 2014Oct 28, 2014
    • Data for the evaluations in the HotPower'14 Odroid Study
      C++
      The Unlicense
      1200Updated Oct 5, 2014Oct 5, 2014
    • Tool to read the Odroid SmartPower from the command line
      C++
      GNU General Public License v3.0
      3100Updated Sep 16, 2014Sep 16, 2014