olivierpierre Goto Github PK

cheribsd

FreeBSD adapted for the CHERI CPU.

chrono

comp26020-devcontainer

comp26020-problems

comp35112-devcontainer

comp35112-lecture-notes

discord-office-hours-queue-bot

This is a simple bot for Discord, maintaining a queue of students for an online office hour session.

dotfiles

ffsmark

Embedded Flash File Systems (FFS) benchmark based on Postmark

flashmon

Embedded Linux flash chip access monitor

fuzzingpaper

Recent Fuzzing Paper

gdb-remote-patch

Fix the "gdb remote packet reply is too long" issue on recent GDB versions

jffs2dparser

Parser for the jffs2dump tool output to assess a JFFS2 file system flash fragmentation

latex-template

Very simple latex template for reports

libhermit

A Unikernel for Extreme-Scale Computing

linux-ra-flash-fix

Small patch to disable Linux read-ahead for JFFS2/YAFFS2 to enhance performance

llvm-project

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.

memalloc

A simple memory allocator - Memory allocation 101

mini-os-makefile

newlib

nginx

An official read-only mirror of http://hg.nginx.org/nginx/ which is updated hourly. Pull requests on GitHub cannot be accepted and will be automatically closed. The proper way to submit changes to nginx is via the nginx development mailing list, see http://nginx.org/en/docs/contributing_changes.html

openflash

osv

OSv, a new operating system for the cloud.

project-flexcap

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.

rtd-sphinx-themes-examples

A project illustrating different Sphinx themes locally and on Read the Docs

stack-smashing

texlive-devcontainer

ukboot

Unikernels boot time comprehensive measurements.

unikernel-papers