Zinc, the bare metal stack for rust

About zinc.rs

Zinc is an experimental attempt to write an ARM stack that would be similar to CMSIS or mbed in capabilities but would show rust's best safety features applied to embedded development.

Zinc is mostly assembly-free and completely C-free at the moment. One of the goals of zinc is to figure out, how much of the usual RTOS stack is it possible to write in rust in a safe manner, while keeping the resource usage profile low enough (comparable to C/C++ code).

Useful links:

blog
build stats (output binary size change over time)
api docs

Main features

Zinc provides you with safe code in terms of rust code safety; accessing hardware directly is unsafe, but you can do that as well if you want.

In addition to software safety, zinc provides hardware safety with Platform Tree specification; you define the hardware configuration right in the code in simple key-value DSL and compiler verifies that all hardware is configured properly; that also allows to optimize the code to much bigger extent than with conventional RTOSes.

Supported hardware

Zinc supports only ARM at the moment. The primary development is focused on two test boards with NXP LPC1768 and ST STM32F407. Other MCUs will follow when core API is stabilized.

License

Zinc is distributed under Apache-2.0, see LICENSE for more details.

Usage

Get a gcc cross-toolchain for arm and configure TOOLCHAIN and RUNTIME_LIB in Rakefile header as appropriate. RUNTIME_LIB should be either libgcc or libcompiler-rt ar archive, compiled for appropriate architecture.

To build an application from apps/ use the following rake command: