Pinned Repositories
a2a-benchmarks
a2a-binaries
core_regulator
frequency_logger
A simple frequency monitoring tool for Intel processors
ipanema-kernel
The Linux kernel, with the Ipanema runtime inside. Mirrors https://gitlab.inria.fr/ipanema-public/ipanema-kernel
ouichefs
ouiche_fs - a simple educational filesystem for Linux
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.
scrlck_backlight
A dumb bash script for keyboards backlit with scrolllock
tsc_khz
Linux kernel module that exports tsc clock frequency to sysfs
rgouicem's Repositories
rgouicem/ouichefs
ouiche_fs - a simple educational filesystem for Linux
rgouicem/frequency_logger
A simple frequency monitoring tool for Intel processors
rgouicem/a2a-benchmarks
rgouicem/percoreDVFStester
Check if your CPU has per-core frequency scaling in 5 seconds
rgouicem/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.
rgouicem/tsc_khz
Linux kernel module that exports tsc clock frequency to sysfs
rgouicem/core_regulator
rgouicem/ipanema-kernel
The Linux kernel, with the Ipanema runtime inside. Mirrors https://gitlab.inria.fr/ipanema-public/ipanema-kernel
rgouicem/scrlck_backlight
A dumb bash script for keyboards backlit with scrolllock
rgouicem/a2a-binaries
rgouicem/arancini
rgouicem/cas-benchmark
rgouicem/deb-greatspn
rgouicem/deb-libsnow
Base for Tool integration in CosyVerif
rgouicem/doctor-cluster-config
NixOS configuration for TUM cluster
rgouicem/FreeRTOS---ARM-Cortex-A9-VersatileExpress-Quad-Core-port
FreeRTOS - ARM Cortex-A9 VersatileExpress Quad-Core port
rgouicem/htop
htop - an interactive process viewer
rgouicem/kalliope
Kalliope is a modular always-on voice controlled personal assistant designed for home automation.
rgouicem/l4v
seL4 specification and proofs
rgouicem/math-bench
rgouicem/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.
rgouicem/peri
rgouicem/phoenix
an API and runtime environment for data processing with MapReduce for shared-memory multi-core & multiprocessor systems.
rgouicem/specif
rgouicem/sqlite-bench
rgouicem/thesis
rgouicem/waybar-modules