tillitis-key/hw/application_fpga/tools
Daniel Jobson 5f3a065aaa Follow REUSE specification
- Add REUSE configuration
- Add compliant licenses in LICENSES/
- Add copyright SPDX tags
- Run REUSE complicance check in CI
- Remove spdx-ensure
2025-10-30 13:07:59 +01:00
..
b2s tool: Change b2s to output exact variable used 2025-09-01 18:19:53 +02:00
tkeyimage tool: Rename partition_table to tkeyimage 2025-05-20 13:50:55 +02:00
tpt Follow REUSE specification 2025-10-30 13:07:59 +01:00
app_bin_to_spram_hex.py Follow REUSE specification 2025-10-30 13:07:59 +01:00
load_preloaded_app.sh Change license to BSD-2-Clause 2025-10-30 13:07:59 +01:00
makehex.py doc: Complete copyright and licenses 2025-05-22 09:31:54 +02:00
patch_uds_udi.py Follow REUSE specification 2025-10-30 13:07:59 +01:00
README.md build: Create and use a complete filesystem image 2025-09-01 18:19:54 +02:00
run_pnr.sh Change license to BSD-2-Clause 2025-10-30 13:07:59 +01:00

Tools

We have developed some tools necessary for the build.

  • app_bin_to_spram_hex.py: Script used to include a device app in a testbench simulation.

  • b2s: Compute and print a BLAKE2s digest over a file. Used for the digest of the app in app slot 0 included in the firmware.

  • load_preloaded_app.sh: Script to load two copies of the partition table to flash and a pre-loaded to app slot 0 or 1. Needs default_partition.bin, generated with tkeyimage and the binary of the device app to load. Call like:

    ./tkeyimage/tkeyimage -app0 path/to/binary -o default_partition.bin
    ./load_preloaded_app 0 path/to/binary
    
  • makehex.py: Used to build hex version of firmware ROM for FPGA bitstream build.

  • patch_uds_udi.py: Script used to patch in the Unique Device Secret in data/uds.hex and the Unique Device Identifier in data/udi.hex into the bitstream without having to rebuild the entire bitstream.

  • run_pnr.sh: Script to run place and route with nextpnr in order to find a routing seed that will meet desired timing.

  • tkeyimage: Utility to create and parse a partition table or entire flash images with a TKey filesystem. You can flash the image with the iceprog tool. Remember to flash the flash image first and the FPGA bitstream afterwards.

  • tpt/tpt.py: Utility to create the Unique Device Secret (UDS) and Unique Device Identity (UDI) interactively.