Popular repositories

1. smaccm smaccm Public archive

   Java 33 24

2. sel4arm-vmm sel4arm-vmm Public

   ARM VMM for the seL4 micro kernel with Linux guest OS

   C 5 4

3. sel4arm-vmm-manifest sel4arm-vmm-manifest Public

   Manifest for ARM VMM running on seL4 micro kernel

   4 1

4. DARPA-bsp DARPA-bsp Public

   device drivers for SMACCM P3 onTK1-SOM

   C 4 1

5. phase3 phase3 Public

   This is the repository for the phase 3 demo software and build support

   Dockerfile 3 5

6. camera_demo camera_demo Public

   Software for the SMACCM camera demo

   C++ 2 1