tupelo-shen Goto Github PK

polyml

This is a clone of Poly/ML which contains the extra branch successful-decompile. See the original or main website:

projects_libs

pruner

Tool for trimming functions from a C source file

python

All Algorithms implemented in Python

python_test

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.

refos

Prototype no-assurance reference OS personality built on seL4

refos-manifest

Reference Operating system based on seL4 --- example code

rfid

Arduino RFID Library for MFRC522

riscv-pk

RISC-V Proxy Kernel

rockchip-mkbootimg

Tools to create firmware / boot images for Rockchip devices

rpi-firmware

Firmware files for the Raspberry Pi

rumprun

The Rumprun unikernel and toolchain for various platforms

rumprun-packages

Ready-made packages of software for running on the Rumprun unikernel

rumprun-sel4-demoapps

Apps for running with the rumprun unikernel on seL4.

secp256k1

Optimized C library for EC operations on curve secp256k1

sel4

The seL4 microkernel

sel4-camkes-l4v-dockerfiles

Dockerfiles defining the dependencies required to build seL4, CAmkES, and L4v.

sel4-tutorials

Tutorials for working with seL4 and/or CAmkES.

sel4-tutorials-manifest

sel4_libs

No-assurance libraries for rapid-prototyping of seL4 apps.

sel4_projects_libs

sel4_tools

Basic tools for building seL4 projects

sel4bench

sel4 benchmarking applications and support library.

sel4bench-manifest

Manifest of the seL4bench project, which contains microbenchmarks for seL4.

sel4runtime

A minimal runtime for seL4 applications.

sel4test

Test suite for seL4.

sel4test-manifest

Project to build and test seL4 for many different platforms

sel4webserver

An seL4 reference webserver application

sel4webserver-manifest