tupelo-shen Goto Github PK

freertos-kernel

FreeRTOS kernel files only, submoduled into https://github.com/FreeRTOS/FreeRTOS and various other repos.

freertos-over-bao

A ready-to-go port to run freertos over bao

genode-sel4-arm

Genode OS running on the seL4 microkernel on physical ARM hardware

global-components

googletest

Google Test

graph-refine

guetzli

Perceptual JPEG encoder

gunyah-hypervisor

Gunyah is a Type-1 hypervisor designed for strong security, performance and modularity.

hmi

Each component has its own Makefile, and the top level Makefile walks through each of its sub-directories building all Makefiles it finds.

hol

This is a fork of the HOL4 sources, used by the seL4 test infrastructure. See the original above, or visit the main website:

huxpro.github.io

My Blog / Jekyll Themes / PWA

hypervisor

lightweight hypervisor SDK written in C++ with support for Windows, Linux and UEFI

interview_python

关于Python的面试题

isabelle

git mirror of the Munich isabelle hg repository

kvm-hello-world

A minimal kvm example

l4v

seL4 specification and proofs

linux

Linux kernel source tree

mcs-examples

Native seL4 and CAmkES examples of mixed criticality mechanisms.

mcs-examples-manifest

Native seL4 and CAmkES examples of mixed criticality mechanisms.

meta-cloud-hypervisor

Yocto layer dedicated to Cloud Hypervisor

microv

A micro hypervisor for running micro VMs

musllibc

my_test

记录学习过程中的点点滴滴！！！

nanopb

Protocol Buffers with small code size

opencv

Open Source Computer Vision Library

opencv-test

opensbi

RISC-V Open Source Supervisor Binary Interface

perf-book

The book "Performance Analysis and Tuning on Modern CPU"

picotcp

PicoTCP is a free TCP/IP stack implementation

picotcp-bsd

BSD POSIX-compliant socket support for PicoTCP running on any OS.