Skip to content

@BreakawayConsulting Breakaway Consulting Pty Ltd

Change the repository type filter

All

    Repositories list

    42 repositories

    • seL4

      Public
      The seL4 microkernel
      C
      •
      Other
      •677•0•0•0•Updated Nov 16, 2021Nov 16, 2021

    • libscfw

      Public
      Library for accessing the SCFW in seL4 projects on i.MX SoCs
      C
      •
      BSD 3-Clause "New" or "Revised" License
      •1•0•0•0•Updated Sep 25, 2021Sep 25, 2021

    • seL4_libs

      Public
      No-assurance libraries for rapid-prototyping of seL4 apps.
      C
      •
      Other
      •67•0•0•0•Updated Sep 9, 2021Sep 9, 2021

    • seL4_tools

      Public
      Basic tools for building seL4 projects
      C
      •
      Other
      •93•0•0•0•Updated Sep 3, 2021Sep 3, 2021

    • util_libs

      Public
      C
      •
      Other
      •86•0•0•0•Updated Aug 30, 2021Aug 30, 2021

    • platform-sel4-docs

      Public
      Documentation on a simple operating system platform to run on seL4
      TeX
      •2•1•1•1•Updated Nov 24, 2020Nov 24, 2020

    • soc-eval-seL4

      Public
      SoC Evaluations for seL4 based projects
      0•0•0•0•Updated Jun 15, 2020Jun 15, 2020

    • echronos

      Public
      The eChronos real-time operating system
      C++
      •
      Other
      •38•0•0•0•Updated Feb 21, 2020Feb 21, 2020

    • webobj

      Public
      Simple Python Web Server that exposes Python objects as JSON
      Python
      •
      MIT License
      •2•1•0•0•Updated Aug 3, 2015Aug 3, 2015

    • blackmagic

      Public
      In application debugger for ARM Cortex microcontrollers.
      C
      •
      GNU General Public License v3.0
      •781•1•0•0•Updated Sep 15, 2013Sep 15, 2013

    • QEMU

      Public
      Official QEMU mirror
      C
      •
      Other
      •47•0•0•0•Updated Aug 16, 2013Aug 16, 2013

    • xyz

      Public
      XYZ packaging utility
      Python
      •
      MIT License
      •0•0•0•0•Updated Jun 29, 2013Jun 29, 2013

    • glibc

      Public
      C
      •
      GNU General Public License v2.0
      •0•0•0•0•Updated Jun 29, 2013Jun 29, 2013

    • libffi

      Public
      A portable foreign-function interface library.
      C
      •
      Other
      •710•0•0•0•Updated Jun 29, 2013Jun 29, 2013

    • zlib

      Public
      C
      •0•0•0•0•Updated Jun 27, 2013Jun 27, 2013

    • python

      Public
      mirror of http://hg.python.org/cpython/
      Python
      •
      Other
      •0•0•0•0•Updated Jun 27, 2013Jun 27, 2013

    • smaccmpilot-stm32f4

      Public
      STM32F4 hardware support for SMACCMPilot on the PX4FMU
      C
      •
      BSD 3-Clause "New" or "Revised" License
      •22•0•0•0•Updated Apr 18, 2013Apr 18, 2013

    • pyxmlerrors

      Public
      Improved diagnostics for XML parsing in Python.
      Python
      •
      MIT License
      •0•0•0•0•Updated Feb 15, 2013Feb 15, 2013

    • gcc

      Public
      C
      •
      GNU General Public License v2.0
      •0•0•0•0•Updated Feb 8, 2013Feb 8, 2013

    • gdb

      Public
      GNU Debugger import
      C
      •
      GNU General Public License v2.0
      •1•0•0•0•Updated Feb 1, 2013Feb 1, 2013

    • ncurses

      Public
      C
      •0•0•0•0•Updated Feb 1, 2013Feb 1, 2013

    • stlink

      Public
      stm32 discovery line linux programmer
      C
      •
      BSD 3-Clause "New" or "Revised" License
      •1.2k•0•0•0•Updated Jan 21, 2013Jan 21, 2013

    • libusb

      Public
      C
      •
      GNU Lesser General Public License v2.1
      •0•0•0•0•Updated Jan 21, 2013Jan 21, 2013

    • ice

      Public
      An alternative implementation of Python freeze.
      Python
      •
      MIT License
      •0•0•0•0•Updated Jan 20, 2013Jan 20, 2013

    • bzip2

      Public
      0•1•0•0•Updated Jan 19, 2013Jan 19, 2013

    • pkg-config

      Public
      C
      •
      GNU General Public License v2.0
      •0•0•0•0•Updated Jan 13, 2013Jan 13, 2013

    • mpc

      Public
      GNU MPC import
      Shell
      •
      GNU Lesser General Public License v2.1
      •1•0•0•0•Updated Jan 10, 2013Jan 10, 2013

    • mpfr

      Public
      GNU MPFR import
      C
      •
      GNU Lesser General Public License v3.0
      •1•0•0•0•Updated Jan 10, 2013Jan 10, 2013

    • gmp

      Public
      GNU MP library import
      C
      •
      GNU General Public License v3.0
      •2•0•0•0•Updated Jan 10, 2013Jan 10, 2013

    • texinfo

      Public
      C
      •
      GNU General Public License v3.0
      •0•0•0•0•Updated Jan 9, 2013Jan 9, 2013