Skip to content
Change the repository type filter

All

    Repositories list

    • phase3

      Public
      This is the repository for the phase 3 demo software and build support
      Dockerfile
      5310Updated Oct 25, 2021Oct 25, 2021
    • Buildroot configuration for TK1
      Python
      1200Updated Aug 6, 2021Aug 6, 2021
    • DARPA-bsp

      Public
      device drivers for SMACCM P3 onTK1-SOM
      C
      1401Updated Jul 27, 2021Jul 27, 2021
    • Repository for hosting Eclipse update sites.
      0000Updated Jun 17, 2019Jun 17, 2019
    • smaccm

      Public archive
      Java
      Other
      2433262Updated May 8, 2019May 8, 2019
    • z3-plugin-test

      Public archive
      Python
      MIT License
      0000Updated Apr 10, 2019Apr 10, 2019
    • Testing Eclipse update site containing the Microsoft Z3 prover packaged as and Eclipse plugin
      MIT License
      0000Updated Mar 25, 2019Mar 25, 2019
    • Images from the Phase 3 HACMS demo
      Python
      0000Updated Jan 29, 2018Jan 29, 2018
    • hta

      Public
      0000Updated Dec 7, 2017Dec 7, 2017
    • l4v

      Public
      seL4 specification and proofs
      Isabelle
      Other
      108100Updated May 1, 2017May 1, 2017
    • Software for the SMACCM camera demo
      C++
      1300Updated Apr 18, 2017Apr 18, 2017
    • vm_hack

      Public
      Python
      0000Updated Mar 5, 2017Mar 5, 2017
    • Device drivers and example app for Odroid-XU and daughterboard
      C
      Other
      0100Updated Feb 21, 2017Feb 21, 2017
    • C
      Other
      2000Updated Feb 2, 2017Feb 2, 2017
    • C
      Other
      1000Updated Jan 16, 2017Jan 16, 2017
    • C++
      Other
      1000Updated Jan 11, 2017Jan 11, 2017
    • camkes tools for SMACCM development
      C
      Other
      0000Updated Jan 7, 2017Jan 7, 2017
    • util_libs

      Public
      This fork is here for convenience. It does not contain any smaccm-specific changes.
      C
      Other
      86000Updated Jan 6, 2017Jan 6, 2017
    • camkes-vm

      Public
      0000Updated Jan 6, 2017Jan 6, 2017
    • 1000Updated Jan 6, 2017Jan 6, 2017
    • phase2

      Public
      This is the repository for the phase 2 demo software and build support.
      C
      2000Updated Dec 12, 2016Dec 12, 2016
    • C
      0000Updated Oct 18, 2016Oct 18, 2016
    • seL4_libs

      Public
      C
      Other
      67000Updated Oct 18, 2016Oct 18, 2016
    • Isabelle
      Other
      0000Updated Oct 7, 2016Oct 7, 2016
    • 0000Updated Sep 30, 2016Sep 30, 2016
    • seL4

      Public
      seL4 version for SMACCM development
      C
      Other
      0100Updated Sep 30, 2016Sep 30, 2016
    • Example GIDL vchan logger
      C
      0000Updated Sep 29, 2016Sep 29, 2016
    • gdb_test

      Public
      C
      0000Updated Sep 9, 2016Sep 9, 2016
    • capdl

      Public
      Haskell
      Other
      46000Updated Aug 22, 2016Aug 22, 2016
    • C
      Other
      38000Updated Jul 27, 2016Jul 27, 2016