|
|
* Virtual prototype
|
|
|
* [Archive with sources of virtual prototype and example software stack](downloads/secbus.1414347265.tgz)
|
|
|
* [Binaries of a ARM GNU tool chain](downloads/mutekh-arm-toolchain-4_8_2-1-i386-linux.tar.gz)
|
|
|
* [Binaries of a Mips GNU tool chain](downloads/mutekh-mipsel-toolchain-4_5_2-1-i386-linux.tar.gz)
|
|
|
* TRESCCA demonstration
|
|
|
* [A SD card archive for ZedBoard (Linux kernel, device tree blob, `initramfs` root file system...)](downloads/sdcard-trescca.tgz)
|
|
|
* AXI simple bridge for TRESCCA
|
|
|
* [Documentation](downloads/asb_trescca.pdf)
|
|
|
* [A SD card archive for ZedBoard (Linux kernel, device tree blob, `initramfs` root file system, networking, python...)](downloads/sdcard-asb-trescca.tgz)
|
|
|
* AXI simple bridge
|
|
|
* [Documentation](downloads/axi_simple_bridge.pdf)
|
|
|
* [A SD card archive for ZedBoard (Linux kernel, device tree blob, `initramfs` root file system, networking, python...)](downloads/sdcard-axi-simple-bridge.tgz)
|
|
|
* AXI bridge
|
|
|
* [Documentation](downloads/axi_bridge.pdf)
|
|
|
* [A minimal SD card archive for ZedBoard (Linux kernel, device tree blob, `initramfs` root file system, networking...)](downloads/sdcard-axi-bridge.tgz)
|
|
|
* [Same plus `python 2.7`, un-stripped `busybox`, packages built with debugging symbols, `gdb` server... ](downloads/sdcard-axi-bridge-python.tgz)
|
|
|
* Hardware Security Module (HSM)
|
|
|
* [HDL models, simulation environments, simulation and synthesis scripts](downloads/secbus-0.1.tgz)
|
|
|
* [HDL models, simulation environments, simulation and synthesis scripts (version 0.2.1, 19/10/2015)](downloads/secbus-0.2.1.tgz)
|
|
|
* [HDL models, simulation environments, simulation and synthesis scripts (version 0.2.2, 13/11/2015)](downloads/secbus-0.2.2.tgz)
|
|
|
* [SD card archive for ZedBoard (Linux kernel, device tree blob, ramdisk image...)](downloads/sdcard-hsm.tgz)
|
|
|
* [SD card archive for ZedBoard (Linux kernel, device tree blob, ramdisk image...)](downloads/sdcard-hsm-20151009.tgz)
|
|
|
* UART to Master AXI Lite interface (`UART2MAXILITE`)
|
|
|
* [Documentation](downloads/uart2maxilite.pdf)
|
|
|
* [HDL models, synthesis scripts, example software applications](downloads/uart2maxilite.tgz)
|
|
|
* [A minimal SD card archive for ZedBoard (Linux kernel, device tree blob, `initramfs` root file system...)](downloads/sdcard-uart2maxilite.tgz)
|
|
|
* Root file systems (`initramfs` U-Boot images, generated with `buildroot`):
|
|
|
* [downloads/rootfs.cpio.uboot rootfs.cpio.uboot] (2.6 MB): Initramfs root file system
|
|
|
* [downloads/rootfs-debug.cpio.uboot rootfs-debug.cpio.uboot] (5.1 MB): Initramfs root file system for debugging (unstripped, with gdb server, gcc -g3 -O0...)
|
|
|
* [downloads/rootfs-python.cpio.uboot rootfs-python.cpio.uboot] (11.7 MB): Initramfs root file system with Python 2.7
|
|
|
* [downloads/rootfs-debug-python.cpio.uboot rootfs-debug-python.cpio.uboot] (32.9 MB): Initramfs root file system with Python 2.7 for debugging (unstripped, with gdb server, gcc -g3 -O0...)
|
|
|
<!--
|
|
|
* Attackers
|
|
|
* [Bitstream of programmable hardware attacker](downloads/attacker.bit)
|
|
|
|
|
|
* [The customized AXI bridge for login as root without a password](downloads/axi_bridge_login.bit)
|
|
|
* [Script for automating configuration of AXI bridge.](downloads/setup_logger.sh)
|
|
|
* [Text file for use with setup_logger.sh for extracting ssh passphrase.](downloads/ssh_logger.dat)
|
|
|
-->
|
|
|
|
|
|
<!-- vim: set tabstop=4 softtabstop=4 shiftwidth=4 noexpandtab textwidth=0: --> |