tupelo-shen Goto Github PK

aleth

Aleth – Ethereum C++ client, tools and libraries

android-daily-interview

:pushpin:每工作日更新一道 Android 面试题，小聚成河，大聚成江，共勉之～

arm-trusted-firmware

Read-only mirror of Trusted Firmware-A

asterinas

Asterinas is a safe, fast, and general-purpose OS kernel, written in Rust and providing Linux-compatible ABI.

atc

for test

autoware-manuals

Free manuals for Autoware. You are encouraged to join their maintenance!

bao-baremetal-guest

A simple bare-metal for testing out bao

bao-demos

A guide on how to build and use a set of Bao guest configurations for various platforms

bao-hypervisor

Bao, a Lightweight Static Partitioning Hypervisor

buildroot

Buildroot, making embedded Linux easy. Note that this is not the official repository, but only a mirror. The official Git repository is at http://git.buildroot.net/buildroot/. Do not open issues or file pull requests here.

cakeml_libs

A collection of libraries and utilities to be used with CakeML applications.

camkes

Component Architecture test suite and example apps.

camkes-arm-vm

camkes-arm-vm-manifest

Manifest for building a virtual machine on seL4 on ARM.

camkes-manifest

Top level project for CAmkES, a component platform that provides support for developing and building static seL4 systems as a collection of interacting components.

camkes-tool

The main CAmkES tool

camkes-vm

Virtual Machine build as a CAmkES component.

camkes-vm-apps

CAmkES vm apps for all platforms

camkes-vm-examples

camkes-vm-examples-manifest

camkes-vm-images

Precompiled kernels etc. for use with camkes VMs.

camkes-vm-linux

camkes-vm-manifest

CAmkES code and examples

capdl

Capability Distribution Language tools for seL4

ci-actions

CI GitHub actions for the seL4 repositories

cppserver

cxlpapers

echronos

The eChronos real-time operating system

facecheck0.0

identify your face feature

firmware

This repository contains pre-compiled binaries of the current Raspberry Pi kernel and modules, userspace libraries, and bootloader/GPU firmware.