Skip to content

@smaccm smaccm

Change the repository type filter

All

    Repositories list

    68 repositories

    • phase3

      Public
      This is the repository for the phase 3 demo software and build support
      Dockerfile
      •5•3•1•0•Updated Oct 25, 2021Oct 25, 2021

    • tk1-buildroot

      Public
      Buildroot configuration for TK1
      Python
      •1•2•0•0•Updated Aug 6, 2021Aug 6, 2021

    • DARPA-bsp

      Public
      device drivers for SMACCM P3 onTK1-SOM
      C
      •1•4•0•1•Updated Jul 27, 2021Jul 27, 2021

    • update-site

      Public
      Repository for hosting Eclipse update sites.
      0•0•0•0•Updated Jun 17, 2019Jun 17, 2019

    • smaccm

      Public archive
      Java
      •
      Other
      •24•33•26•2•Updated May 8, 2019May 8, 2019

    • z3-plugin-test

      Public archive
      Python
      •
      MIT License
      •0•0•0•0•Updated Apr 10, 2019Apr 10, 2019

    • z3-plugin-updates-test

      Public
      Testing Eclipse update site containing the Microsoft Z3 prover packaged as and Eclipse plugin
      MIT License
      •0•0•0•0•Updated Mar 25, 2019Mar 25, 2019

    • phase-3-images

      Public
      Images from the Phase 3 HACMS demo
      Python
      •0•0•0•0•Updated Jan 29, 2018Jan 29, 2018

    • hta

      Public
      0•0•0•0•Updated Dec 7, 2017Dec 7, 2017

    • l4v

      Public
      seL4 specification and proofs
      Isabelle
      •
      Other
      •106•1•0•0•Updated May 1, 2017May 1, 2017

    • camera_demo

      Public
      Software for the SMACCM camera demo
      C++
      •1•3•0•0•Updated Apr 18, 2017Apr 18, 2017

    • vm_hack

      Public
      Python
      •0•0•0•0•Updated Mar 5, 2017Mar 5, 2017

    • camkes-apps-DARPA--devel

      Public
      Device drivers and example app for Odroid-XU and daughterboard
      C
      •
      Other
      •0•1•0•0•Updated Feb 21, 2017Feb 21, 2017

    • camkes-arm-vm

      Public
      C
      •
      Other
      •2•0•0•0•Updated Feb 2, 2017Feb 2, 2017

    • camkes-usb-tests

      Public
      C
      •
      Other
      •1•0•0•0•Updated Jan 16, 2017Jan 16, 2017

    • projects_libs

      Public
      C++
      •
      Other
      •1•0•0•0•Updated Jan 11, 2017Jan 11, 2017

    • camkes-tool

      Public
      camkes tools for SMACCM development
      C
      •
      Other
      •0•0•0•0•Updated Jan 7, 2017Jan 7, 2017

    • util_libs

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

    • camkes-vm

      Public
      0•0•0•0•Updated Jan 6, 2017Jan 6, 2017

    • camkes-vm-manifest

      Public
      1•0•0•0•Updated Jan 6, 2017Jan 6, 2017

    • phase2

      Public
      This is the repository for the phase 2 demo software and build support.
      C
      •2•0•0•0•Updated Dec 12, 2016Dec 12, 2016

    • sel4usb-test

      Public
      C
      •0•0•0•0•Updated Oct 18, 2016Oct 18, 2016

    • seL4_libs

      Public
      C
      •
      Other
      •64•0•0•0•Updated Oct 18, 2016Oct 18, 2016

    • autocorres-experiments

      Public
      Isabelle
      •
      Other
      •0•0•0•0•Updated Oct 7, 2016Oct 7, 2016

    • camkes_debug_manifest

      Public
      0•0•0•0•Updated Sep 30, 2016Sep 30, 2016

    • seL4

      Public
      seL4 version for SMACCM development
      C
      •
      Other
      •0•1•0•0•Updated Sep 30, 2016Sep 30, 2016

    • vchan_logging

      Public
      Example GIDL vchan logger
      C
      •0•0•0•0•Updated Sep 29, 2016Sep 29, 2016

    • gdb_test

      Public
      C
      •0•0•0•0•Updated Sep 9, 2016Sep 9, 2016

    • capdl

      Public
      Haskell
      •
      Other
      •45•0•0•0•Updated Aug 22, 2016Aug 22, 2016

    • seL4_projects_libs

      Public
      C
      •
      Other
      •36•0•0•0•Updated Jul 27, 2016Jul 27, 2016