Watch tupelo-shen/bao-baremetal-guest

A simple bare-metal for testing out bao

• 1
• 0
• 1

Watch tupelo-shen/bao-hypervisor

Bao, a Lightweight Static Partitioning Hypervisor

• 1
• 0
• 0

Watch tupelo-shen/android-learning

Android

学习android

• 1
• 0
• 0

Watch tupelo-shen/leetcode

C++

• 1
• 0
• 0

Watch tupelo-shen/genode-sel4-arm

Genode OS running on the seL4 microkernel on physical ARM hardware

• 1
• 0
• 0

Watch tupelo-shen/echronos

The eChronos real-time operating system

• 1
• 0
• 0

Watch tupelo-shen/freertos-over-bao

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

• 1
• 0
• 0

Watch tupelo-shen/FreeRTOS-Kernel

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

• 1
• 0
• 0

Watch tupelo-shen/qemu

C

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.

• 1
• 0
• 0

Watch tupelo-shen/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.

• 1
• 0
• 0