tillitis / tillitis-key1
Board designs, FPGA verilog, firmware for TKey, the flexible and open USB security key 🔑
☆402Updated this week
Related projects ⓘ
Alternatives and complementary repositories for tillitis-key1
- SSH Agent for TKey, the flexible open hardware/software USB security key 🔑☆130Updated this week
- Modern Cryptographic Firmware☆415Updated 2 weeks ago
- Hardware schematic and layout for Solo 2☆144Updated 2 years ago
- Looking for docs on Precursor/Betrusted? Start here.☆174Updated 3 years ago
- Betrusted main SoC design☆138Updated 11 months ago
- SatCat5 is a mixed-media Ethernet switch that lets a variety of devices communicate on the same network.☆419Updated this week
- Solo 2 library and CLI in Rust☆172Updated 5 months ago
- Solo 2 firmware in Rust☆575Updated 4 months ago
- 3-stage RV32IMACZb* processor with debug☆715Updated last month
- UPduino 3.0: new 4 layer layout, various other improvements☆328Updated 4 months ago
- A USB-PD sniffer/injector/sink based on Google's Twinkie, re-designed to be manufactured by mere mortals.☆356Updated 4 months ago
- The Xous microkernel☆534Updated this week
- BulwarkID FIDO Passkey☆104Updated 9 months ago
- A Virtual FIDO2 USB Device☆1,211Updated 3 months ago
- Mirror only. Official repository at https://git.glasklar.is/system-transparency/core/stboot☆110Updated 11 months ago
- Attest the trustworthiness of a device against a human using time-based one-time passwords☆166Updated 4 months ago
- Open-source electrophoretics display controller. Mirror of https://gitlab.com/zephray/caster☆164Updated 6 months ago
- Highly integrated electronics design and printed circuit boards (PCBs) for the MATE ROV Competition. Attempt the impossible.☆149Updated this week
- Hardware Security Module (HSM) for Raspberry Pico and ESP32☆236Updated last week
- An attempt to recreate the RP2040 PIO in an FPGA☆292Updated 5 months ago
- A configurable RTL to bitstream FPGA toolchain☆256Updated last week
- Scripts to slightly improve the security of the Linux boot process with UEFI Secure Boot and TPM support☆271Updated last year
- Hardware sources for Solo 1☆182Updated 4 years ago
- Community Cryptography Specification Project☆313Updated last month
- Nitrokey 3 firmware☆249Updated this week
- Open source VPU side bootloader for Raspberry Pi.☆428Updated 9 months ago
- FPGA 101 lessons/labs☆362Updated 4 months ago
- USB PD sniffer☆180Updated last year
- Mirror only. Official repository at https://git.glasklar.is/system-transparency/core/system-transparency☆86Updated last month
- A secure, fast, and adaptable OS based on the seL4 microkernel☆93Updated last week