jaykickliter / libtock-c

Userland apps for Tock written in C and C++

Tock Userland

This directory contains libraries and example applications for developing Tock apps that sit above the kernel.

Getting Started

The main requirement is a cross compiler for embedded targets: arm-none-eabi-.

MacOS:

$ brew tap ARMmbed/homebrew-formulae && brew update && brew install arm-none-eabi-gcc

Ubuntu:

$ sudo add-apt-repository ppa:team-gcc-arm-embedded/ppa && sudo apt update && sudo apt install gcc-arm-embedded

You will also likely need Tockloader, a tool for programming apps onto boards:

MacOS:

$ pip3 install tockloader

Ubuntu:

$ pip3 install tockloader --user