Joachim Strömbergson
|
bc661536dc
|
Updating threat model with new section on TKey Unlocked
Signed-off-by: Joachim Strömbergson <joachim@assured.se>
|
2023-09-06 13:29:53 +02:00 |
|
dehanj
|
a453aae031
|
New plastic clip and update BOM for TP1
|
2023-09-01 13:41:05 +02:00 |
|
Michael Cardell Widerkrantz
|
5f0a9bec9a
|
Add flash make podman target
Use the iceprog in the tkey-builder image to program the SPI flash in
the TKey.
|
2023-09-01 13:39:25 +02:00 |
|
Daniel Lublin
|
7cd085a17e
|
Avoid confusing errors by checking for programmer and stick first
Signed-off-by: Daniel Lublin <daniel@lublin.se>
|
2023-08-30 11:37:03 +02:00 |
|
blaufish
|
426b56ebf5
|
Verilog 2001 rule; use wires for assignments, not registers. (#139)
|
2023-08-16 10:44:18 +02:00 |
|
blaufish
|
cced6aec31
|
Explicity make uart_core.rx_data a wire (#140)
|
2023-08-16 10:43:04 +02:00 |
|
Joachim Strömbergson
|
1ab36c7c83
|
Fix link to system_description
Signed-off-by: Joachim Strömbergson <joachim@assured.se>
|
2023-07-04 09:04:29 +02:00 |
|
Joachim Strömbergson
|
9ee4ce5a23
|
Try and fix the broken link in the threat model
Signed-off-by: Joachim Strömbergson <joachim@assured.se>
|
2023-07-04 09:04:29 +02:00 |
|
Joachim Strömbergson
|
022bf0bbf9
|
Change name of pin constraint file to match tk1 pcb
Signed-off-by: Joachim Strömbergson <joachim@assured.se>
|
2023-07-04 09:04:29 +02:00 |
|
Joachim Strömbergson
|
17ddb1f84a
|
Minor fix of ackronyms in the README
Signed-off-by: Joachim Strömbergson <joachim@assured.se>
|
2023-07-04 09:04:29 +02:00 |
|
Joachim Strömbergson
|
3e75818879
|
Fix spelling of toolruns dir
Signed-off-by: Joachim Strömbergson <joachim@assured.se>
|
2023-07-04 09:04:29 +02:00 |
|
Joachim Strömbergson
|
5e34802d1c
|
Update readme with info on API, status, usage and performance
Signed-off-by: Joachim Strömbergson <joachim@assured.se>
|
2023-07-04 09:04:28 +02:00 |
|
Joachim Strömbergson
|
361381210e
|
Add an initial testcase. Hard to simulate entropy
Signed-off-by: Joachim Strömbergson <joachim@assured.se>
|
2023-07-04 09:04:28 +02:00 |
|
Joachim Strömbergson
|
a76fc19c65
|
Add Makefile, testbench and support module needed to build som target
Signed-off-by: Joachim Strömbergson <joachim@assured.se>
|
2023-07-04 09:04:28 +02:00 |
|
Joachim Strömbergson
|
a517552c85
|
Update README with info about the core functions
Signed-off-by: Joachim Strömbergson <joachim@assured.se>
|
2023-07-04 09:04:28 +02:00 |
|
Joachim Strömbergson
|
bc7dfea9c4
|
Add test9: EXE monitor control and detection
Signed-off-by: Joachim Strömbergson <joachim@assured.se>
|
2023-07-04 09:04:28 +02:00 |
|
Joachim Strömbergson
|
4644c79cbd
|
Adding test 8: GPIO test
Signed-off-by: Joachim Strömbergson <joachim@assured.se>
|
2023-07-04 09:04:28 +02:00 |
|
Joachim Strömbergson
|
394e437c91
|
Add test7: Control of LED RGB outputs.
Signed-off-by: Joachim Strömbergson <joachim@assured.se>
|
2023-07-04 09:04:27 +02:00 |
|
Joachim Strömbergson
|
480f4e3d45
|
Add test6: Test that RAM ASLR and SCRAMBLE registers can be set by fw
Signed-off-by: Joachim Strömbergson <joachim@assured.se>
|
2023-07-04 09:04:27 +02:00 |
|
Joachim Strömbergson
|
d70937c11b
|
Improved messaging from the testbench
Signed-off-by: Joachim Strömbergson <joachim@assured.se>
|
2023-07-04 09:04:27 +02:00 |
|
Joachim Strömbergson
|
59af60bdd5
|
Add test4: writing and reading blake2s entry point
Signed-off-by: Joachim Strömbergson <joachim@assured.se>
|
2023-07-04 09:04:27 +02:00 |
|
Joachim Strömbergson
|
dc2903a5b4
|
Update test3 to check that writing to CDI works when in fw mode
Signed-off-by: Joachim Strömbergson <joachim@assured.se>
|
2023-07-04 09:04:27 +02:00 |
|
Joachim Strömbergson
|
16a91bfdd5
|
Adding test 3: Reading out the CDI
Signed-off-by: Joachim Strömbergson <joachim@assured.se>
|
2023-07-04 09:04:27 +02:00 |
|
Joachim Strömbergson
|
1f47991ac2
|
Add test2: Read out UDI
Signed-off-by: Joachim Strömbergson <joachim@assured.se>
|
2023-07-04 09:04:27 +02:00 |
|
Joachim Strömbergson
|
6d9890d050
|
Add test1: Read out name and version
Signed-off-by: Joachim Strömbergson <joachim@assured.se>
|
2023-07-04 09:04:26 +02:00 |
|
Joachim Strömbergson
|
49eac9d101
|
Complete init of DUT and input, output display
Signed-off-by: Joachim Strömbergson <joachim@assured.se>
|
2023-07-04 09:04:26 +02:00 |
|
Joachim Strömbergson
|
1909833952
|
Add header with info and license
Signed-off-by: Joachim Strömbergson <joachim@assured.se>
|
2023-07-04 09:04:26 +02:00 |
|
Joachim Strömbergson
|
b1993742bb
|
Fix testbench buik including DUT instantiation
Signed-off-by: Joachim Strömbergson <joachim@assured.se>
|
2023-07-04 09:04:26 +02:00 |
|
Joachim Strömbergson
|
2fb61bba73
|
Add UDI used during simulation
Signed-off-by: Joachim Strömbergson <joachim@assured.se>
|
2023-07-04 09:04:26 +02:00 |
|
Joachim Strömbergson
|
cb2fd573b3
|
Add dummy LED macro driver module needed for simulation
Signed-off-by: Joachim Strömbergson <joachim@assured.se>
|
2023-07-04 09:04:26 +02:00 |
|
Joachim Strömbergson
|
61598f57e5
|
Add initial version of testbench annd Makfile for building sim target
Signed-off-by: Joachim Strömbergson <joachim@assured.se>
|
2023-07-04 09:04:26 +02:00 |
|
Joachim Strömbergson
|
97e3e25d98
|
Update the UART README with info about the core and its API
Signed-off-by: Joachim Strömbergson <joachim@assured.se>
|
2023-07-04 09:04:25 +02:00 |
|
Joachim Strömbergson
|
704d67c8ab
|
Add Makefile to build sim. Debug sim build
Signed-off-by: Joachim Strömbergson <joachim@assured.se>
|
2023-07-04 09:04:25 +02:00 |
|
Joachim Strömbergson
|
819b93deff
|
Complete testbench and update README with API info
Signed-off-by: Joachim Strömbergson <joachim@assured.se>
|
2023-07-04 09:04:25 +02:00 |
|
Joachim Strömbergson
|
bbff7576df
|
Fix markdown syntax for API listing
Signed-off-by: Joachim Strömbergson <joachim@assured.se>
|
2023-07-04 09:04:25 +02:00 |
|
Joachim Strömbergson
|
e6eaad87dc
|
Update README with info about the timer API
Signed-off-by: Joachim Strömbergson <joachim@assured.se>
|
2023-07-04 09:04:25 +02:00 |
|
Joachim Strömbergson
|
4c54b4b60b
|
Add info about the API in the README
Signed-off-by: Joachim Strömbergson <joachim@assured.se>
|
2023-07-04 09:04:25 +02:00 |
|
Joachim Strömbergson
|
18bb9b8599
|
Making the testbench self checking
Signed-off-by: Joachim Strömbergson <joachim@assured.se>
|
2023-07-04 09:04:25 +02:00 |
|
Joachim Strömbergson
|
1d2a71ec0c
|
Change file extension to markdown
Signed-off-by: Joachim Strömbergson <joachim@assured.se>
|
2023-07-04 09:04:24 +02:00 |
|
Joachim Strömbergson
|
1e97e27e66
|
Updated README, completed testcase and cleaned up the testbench
Signed-off-by: Joachim Strömbergson <joachim@assured.se>
|
2023-07-04 09:04:24 +02:00 |
|
Joachim Strömbergson
|
de7f273f71
|
Fixed nits in word
Signed-off-by: Joachim Strömbergson <joachim@assured.se>
|
2023-07-04 09:04:24 +02:00 |
|
Joachim Strömbergson
|
526df27bae
|
Clarify what locked down means and orogin of the UDS in Bellatrix
Signed-off-by: Joachim Strömbergson <joachim@assured.se>
|
2023-07-04 09:04:24 +02:00 |
|
Joachim Strömbergson
|
9d188a2f7f
|
Add more info about how the timer works
Signed-off-by: Joachim Strömbergson <joachim@assured.se>
|
2023-07-04 09:04:24 +02:00 |
|
Joachim Strömbergson
|
7c9dfaf45a
|
Add testcase for the timer top level wrapper and clean up the tb
Signed-off-by: Joachim Strömbergson <joachim@assured.se>
|
2023-07-04 09:04:24 +02:00 |
|
Joachim Strömbergson
|
c185849ae4
|
Minor cleanup of README, testbench and Makefile
Signed-off-by: Joachim Strömbergson <joachim@assured.se>
|
2023-07-04 09:04:24 +02:00 |
|
Michael Cardell Widerkrantz
|
e0e871c730
|
Include debug symbols in the ELF
|
2023-07-04 09:04:23 +02:00 |
|
Daniel Lublin
|
ea7d64c29f
|
doc: update to refs to in-tree TP-1 firmware
Signed-off-by: Daniel Lublin <daniel@lublin.se>
|
2023-07-04 09:04:23 +02:00 |
|
Daniel Lublin
|
65e3ea015d
|
Revise terminology; it's device app and client app
Signed-off-by: Daniel Lublin <daniel@lublin.se>
|
2023-07-04 09:04:23 +02:00 |
|
Joachim Strömbergson
|
3d787886b6
|
Clarify warm boot attack mitigtions and scope for Bellatrix
Signed-off-by: Joachim Strömbergson <joachim@assured.se>
|
2023-07-04 09:04:23 +02:00 |
|
Joachim Strömbergson
|
6d0a761e65
|
Make memeq function side channel silent
Signed-off-by: Joachim Strömbergson <joachim@assured.se>
|
2023-07-04 09:04:23 +02:00 |
|