Skip to content
Snippets Groups Projects
Forked from card10 / firmware
842 commits behind the upstream repository.
Ferdinand Bachmann's avatar
Ferdinand Bachmann authored
Squashed commits:

e94f7bf9 epicardium/rtc: add monotonic time
e0691c6d pycardium/modules/utime.c: add bindings for monotonic time
756c13df epicardium/rtc: fix numerically unstable subsecond decoding

         the subsecond encoding function from epic_rtc_set_milliseconds
         and the corresponding decoding function from
         epic_rtc_get_milliseconds are not numerically stable.

         i.e., encoding 5 milliseconds to 20 subsecs and immediately
         afterwards decoding that yields 4 milliseconds.

         Adding a bias of 999 (0.24 milliseconds) to the decoding
         function makes it numerically stable, while never decoding any
         subsecond value to more than 999 milliseconds.

e99e278b epicardium/rtc: only poll time once for calculating monotonic_offset
18936b7e pycardium/modules/utime.c: run clang-format
869ac617 epicardium/rtc: add explanation comment for numerically stable subsecond decode
f1251d66
History

card10 Firmware Readme

Firmware for the card10 badge for the Chaos Communication Camp 2019.

We keep documentation in the Documentation/ subdirectory. You can find a rendered version over at https://firmware.card10.badge.events.ccc.de/.

How To Help

If you want to help us ensure the card10 will have been exactly as we reconstructed from the audio-logs we recovered, please head over to our wiki, or directly to the issue tracker.

How To Build

A full guide for building is available in the docs as How To Build.

Last Artifacts from Gitlab-CI: pipeline status

How To Flash

Flasing with or without a debugger is described in detail in How To Flash.

Debugger

If you have a debugger, head over to our Debugger page to learn how to use it.

License

Unless otherwise noted in a file, the contents of this repository are licensed under the MIT license. See COPYING for more details.


Old README Contents:

TODO: Move over into new docs

Serial Console

Learn more about card10's Serial Console.

Bootloader

The bootloader is used to flash card10 without an external debugger. It exposes the file system via USB and accepts a card10.bin file as firmware image.

To flash the bootloader, go to the bootloader directory and follow the steps above.

To execute the bootloader, turn off card10, press the lower right button and turn on. Connect card10 via a USB cable to a computer and mount the file system. You can now copy your card10.bin file to the file system. Eject the drive (IMPORTANT!) via your operating system (umount and sync is not enough). Turn card10 off and back on again. It will try to boot the image.

IMPORTANT: The prototypes have the USB data lines reversed. Use the provided USB adapter to connect card10.

Building card10.bin

Run ./build_image. TODO: Add to meson

The tool uses Python to generate a CRC. Make sure to have python-crc16 installed.