Rust support for the card10 CCCamp19 badge

Prebuilt binaries

By courtesy of this Gitlab's CI system, and NixOS, we build .elf files for you drop into the apps/ directory of your card10 badge.

Because running ELF binaries requires a jailbroken base firmware starting with v1.5, we build this one too. It includes this project's Rust binaries.

https://git.card10.badge.events.ccc.de/astro/rust-card10/-/jobs

Prerequisites

You need rust nightly and a working setup to compile the card10 firmware including the matching libc.

1. For instructions how to setup rust please see https://rustup.rs.

   Please ensure that you installed the latest rust nightly toolchain and add the thumbv7em-none-eabi target.

   rustup toolchain install nightly
   rustup update
   rustup target add thumbv7em-none-eabi --toolchain nightly

2. For instructions how to setup the card10 firmware check the dependency chapter in https://firmware.card10.badge.events.ccc.de/how-to-build.html.

3. Additionally you may need the packages for the llvm and libc i386 dev headers.

4. Clone this repository with --recursive to get the submodules, otherwise update them afterwards:

   git submodule update --init --recursive

Setup a Rust enabled firmware

To allow rust based apps on card10 you need a firmware which allows to run custom elf binaries on the core. This requires a custom build with -Djailbreak_card10=true as bootstrapping flag.

Assuming that you installed all required dependencies mentioned in https://firmware.card10.badge.events.ccc.de/how-to-build.html this should work as following:

cd c/
./bootstrap -Djailbreak_card10=true
ninja -C build/

And then copy build/pycardium/pycardium_epicardium.bin as card10.bin onto your badge.

Build and run Rust loadables

cargo +nightly build --release --target thumbv7em-none-eabi

Then copy the resulting executable from the target directory target/thumbv7em-none-eabi/release/example into the apps directory of your badge.

Attention: Its necessary to rename the executable to add the elf extension (e.g example must be renamed as example.elf).

Crates

Misc

How to update the firmware bindings

1. Update the c/ submodule to the latest firmware state.

2. Rebuild the firmware as described above.

3. Run the following script from the project root directory

   python c/epicardium/api/genapi.py -H c/epicardium/epicardium.h -c l0dable/src/client.c -s l0dable/src/server.c

4. Rebuild your app :)

TODO

• alloc