rgouicem

ouichefs

ouiche_fs - a simple educational filesystem for Linux

frequency_logger

A simple frequency monitoring tool for Intel processors

a2a-benchmarks

percoreDVFStester

Check if your CPU has per-core frequency scaling in 5 seconds

qemu

Official QEMU mirror. Please see http://wiki.qemu.org/Contribute/SubmitAPatch for how to submit changes to QEMU. Pull Requests are ignored. Please only use release tarballs from the QEMU website.

tsc_khz

Linux kernel module that exports tsc clock frequency to sysfs

core_regulator

ipanema-kernel

The Linux kernel, with the Ipanema runtime inside. Mirrors https://gitlab.inria.fr/ipanema-public/ipanema-kernel

scrlck_backlight

A dumb bash script for keyboards backlit with scrolllock

a2a-binaries

arancini

cas-benchmark

deb-greatspn

deb-libsnow

Base for Tool integration in CosyVerif

doctor-cluster-config

NixOS configuration for TUM cluster

FreeRTOS---ARM-Cortex-A9-VersatileExpress-Quad-Core-port

FreeRTOS - ARM Cortex-A9 VersatileExpress Quad-Core port

htop

htop - an interactive process viewer

kalliope

Kalliope is a modular always-on voice controlled personal assistant designed for home automation.

l4v

seL4 specification and proofs

math-bench

parsec-benchmark

PARSEC http://parsec.cs.princeton.edu/ 3.0-beta-20150206 ported to Ubuntu 19.04 and with proper version control and SPLASH2 ported to Buildroot 2017.08 cross compilation (ARM, MIPS, etc.). This repo intends to support all build types and benchmarks.

peri

phoenix

an API and runtime environment for data processing with MapReduce for shared-memory multi-core & multiprocessor systems.

specif

sqlite-bench

thesis

waybar-modules