Skip to content

@AmbiML AmbiML

Change the repository type filter

All

    Repositories list

    21 repositories

    • we-moved

      Public
      Placeholder to redirect people to https://opensecura.googlesource.com/
      Apache License 2.0
      •0•1•0•0•Updated Jan 4, 2024Jan 4, 2024

    • sparrow-kernel

      Public archive
      The seL4 microkernel
      C
      •
      Other
      •672•25•0•0•Updated Sep 6, 2023Sep 6, 2023

    • sparrow-scripts-full

      Public archive
      Shell
      •
      Apache License 2.0
      •0•0•0•0•Updated Sep 6, 2023Sep 6, 2023

    • sparrow-cantrip-full

      Public archive
      Rust
      •
      Apache License 2.0
      •2•7•2•1•Updated Sep 6, 2023Sep 6, 2023

    • sparrow-build

      Public archive
      C
      •0•0•0•0•Updated Sep 6, 2023Sep 6, 2023

    • sparrow-util_libs

      Public archive
      C
      •
      Other
      •84•0•0•0•Updated Aug 3, 2023Aug 3, 2023

    • sparrow-capdl

      Public archive
      Capability Distribution Language tools for seL4
      Haskell
      •45•0•0•0•Updated Aug 3, 2023Aug 3, 2023

    • sparrow-camkes-tool

      Public archive
      The main CAmkES tool
      Python
      •
      Other
      •70•1•0•0•Updated Aug 3, 2023Aug 3, 2023

    • sparrow-seL4_tools

      Public archive
      Basic tools for building seL4 projects
      C
      •
      Other
      •90•0•0•0•Updated Jul 11, 2023Jul 11, 2023

    • sparrow-manifest

      Public archive
      Project Sparrow: Repo Materials
      Apache License 2.0
      •3•16•4•1•Updated Jul 7, 2023Jul 7, 2023

    • trace-based-model

      Public archive
      Python
      •
      Apache License 2.0
      •0•4•0•0•Updated May 23, 2023May 23, 2023

    • iree-rv32-springbok

      Public archive
      CMake
      •
      Apache License 2.0
      •7•14•0•0•Updated Mar 15, 2023Mar 15, 2023

    • sparrow-sel4test

      Public archive
      Test suite for seL4.
      C
      •
      Other
      •61•0•0•0•Updated Feb 14, 2023Feb 14, 2023

    • sparrow-sel4runtime

      Public archive
      A minimal runtime for seL4 applications.
      C
      •
      Other
      •29•1•0•0•Updated Feb 14, 2023Feb 14, 2023

    • .allstar

      Public
      0•0•0•0•Updated Dec 6, 2022Dec 6, 2022

    • sparrow-kata-full

      Public archive
      Rust
      •
      Apache License 2.0
      •4•5•0•0•Updated Nov 30, 2022Nov 30, 2022

    • ibex

      Public archive
      Ibex is a small 32 bit RISC-V CPU core, previously known as zero-riscy.
      SystemVerilog
      •
      Apache License 2.0
      •543•1•0•2•Updated Oct 31, 2022Oct 31, 2022

    • .github

      Public archive
      0•1•0•0•Updated Oct 26, 2022Oct 26, 2022

    • sparrow-seL4_libs

      Public archive
      No-assurance libraries for rapid-prototyping of seL4 apps.
      C
      •
      Other
      •64•0•0•0•Updated Oct 11, 2022Oct 11, 2022

    • sparrow-scripts

      Public archive
      Project Sparrow: Build Scripts
      Shell
      •
      Apache License 2.0
      •0•0•0•0•Updated Aug 18, 2022Aug 18, 2022

    • malamute

      Public archive
      Apache License 2.0
      •1•2•0•0•Updated Aug 16, 2022Aug 16, 2022