441 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Joachim Strömbergson	8784a24b33	Change cpu_monitor to security_monitor and to also check RAM ... Change name of cpu_monitor to security_monitor and increase its functionality to include RAM access violations. If addresses in RAM but outside of physical RAM is accessed in any way the security_monitor traps the CPU in the same way as it already did for execution violations.	2024-03-20 14:36:55 +01:00
Joachim Strömbergson	3fb6d66cf3	Add set-only register for the force_trap signal to ensure ... that the device must be reset to get out of trap. This change also breaks a critical path. Signed-off-by: Joachim Strömbergson <joachim@assured.se>	2024-03-20 14:36:55 +01:00
Joachim Strömbergson	4c3e210a00	Only set ram_we to cpu_wstrb in RAM_PREFIX ... Signed-off-by: Joachim Strömbergson <joachim@assured.se>	2024-03-20 14:36:55 +01:00
Joachim Strömbergson	e48c0fc7d9	Implement cs0 and cs1 as logic equations, not muxes ... Signed-off-by: Joachim Strömbergson <joachim@assured.se>	2024-03-20 14:36:55 +01:00
Michael Cardell Widerkrantz	0590445f3d	Add testbench targets on top-level ... The testbenches live in their own Makefiles under hw/application_fpga/core/*/toolruns (except picorv32). Let's add a top-level target to build and run them. In order to run core testbenches, use cd hw/application_fpga make tb or if using Podman: cd contrib make run-tb to run the same target in a container.	2024-03-20 13:47:12 +01:00
Joachim Strömbergson	ea9271292c	Add Icarus Verilog compiler, simulator used by testbenches ... Signed-off-by: Joachim Strömbergson <joachim@assured.se>	2024-03-20 13:47:12 +01:00
dehanj	159b5b052b	Updated readme and docs to point at dev.tillitis.se.	2024-03-19 17:06:34 +01:00
Michael Cardell Widerkrantz	4d4db70590	fw: Change ASLR name in MMIO ... Use _RAM_ADDR_RAND instead of _RAM_ASLR since this is not OS-level ASLR we're talking about. It's address randomization as seen from outside of the CPU, not from the process running inside it. Ordinary ASLR is visible from the CPU.	2024-03-19 14:36:31 +01:00
Michael Cardell Widerkrantz	f40987b138	fw: Change license for use with qemu ... This file is also included in at least qemu (GPL-2.0-or-later) besides tillitis-key1 (GPL-2.0-only) and tkey-libs (GPL-2.0-only) so it's licensed as GPL v2 or later even if the rest of the project is -only.	2024-03-19 14:36:31 +01:00
Michael Cardell Widerkrantz	c48724e115	fw: Change memory constants to defines ... Instead of putting memory constant into an enum we use defines. Use the direct memory address instead of ORing constants together to compute the address. An enum in ISO C is a signed int. Some of are memory addresses are to large to fit in a signed int. This is not a problem since we're not using ISO C (-std=gnu99) but it doesn't look very nice if you turn on pedantic warnings. Also, if someone would use another compiler which at least supports the inline assembly we use, but possible not other GNU extensions, things would probably break.	2024-03-19 14:36:20 +01:00
dehanj	1e34ddcfa6	Update linter to Verilog-2005	2024-03-19 10:45:37 +01:00
Michael Cardell Widerkrantz	746d7f0e0d	Use pedantic warnings ... Use pedantic warnings but still allow inline assembly, so turn off language-extension-token warnings.	2024-03-19 09:25:37 +01:00
Michael Cardell Widerkrantz	e085d0ebd0	Add void to function signatures meant to be used without args	2024-03-19 08:41:39 +01:00
Michael Cardell Widerkrantz	046343e525	Change memory constants to defines ... Instead of putting memory constant into an enum we use defines. Use the direct memory address instead of ORing constants together to compute the address. An enum in ISO C is a signed int. Some of are memory addresses are to large to fit in a signed int. This is not a problem since we're not using ISO C (-std=gnu99) but it doesn't look very nice if you turn on pedantic warnings. Also, if someone would use another compiler which at least supports the inline assembly we use, but possible not other GNU extensions, things would probably break.	2024-03-19 08:40:04 +01:00
Michael Cardell Widerkrantz	e2bd38c540	fw: Remove unusued forever_redflash() ... Since we now use assert() and feed the CPU an unimplemented instruction we have no need for this.	2024-03-18 16:19:59 +01:00
dehanj	9d36acde08	FW: Force the CPU to hang on errors	2024-03-14 15:48:10 +01:00
Michael Cardell Widerkrantz	fcccee8ec8	Tkey-builder: Use Ubuntu-23.10, yosys-0.36 & nextpnr-0.6	2024-03-14 14:22:57 +01:00
dehanj	d83f235fd3	Add injection molded plastic case	2023-12-11 13:48:39 +01:00
dehanj	7019cd9048	remove whitespaces and tabs	2023-12-07 17:16:31 +01:00
dehanj	2014923966	Isolate ringbuffer index, copy inbound usb data to new buffer	2023-12-07 17:15:24 +01:00
dehanj	6d5da25321	Translate + clean up	2023-11-07 10:59:21 +01:00
dehanj	f83abed4e4	Add gpio for debug purpose	2023-11-06 12:19:00 +01:00
dehanj	7f2efb68f9	Inclulde the latest release tk1-23.03-2-Bellatrix	2023-09-06 13:29:58 +02:00
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