72ed7e3741
Added testing functionality
7363e2cb32
Added gitignore
70ca730f3d
Added first files.
7d2743229c
INITIAL COMMIT
9fadf57f82
Merge remote-tracking branch 'iteasyndikat/batman' into merge-all
510a6149d1
Added corrections at last minute
24c636e82a
Fix work reference
e0cdacd1da
Re-compiled
368c33cdb8
Merge remote-tracking branch 'iteasyndikat/batman' into merge-all
99e164ed08
Don't depend on YARM repo in Makefile
dae3b01ebc
Add work reference
b8f0eab401
Moved subpages
2b4b735d40
Fix footnote hyperref links targetting last page
6d09e50327
Merge remote-tracking branch 'iteasyndikat/batman_merge' into waschtl
287fa0b7ee
Add info about SoC software
f4164ca3f2
Add info stub for SoC UART
637573fd43
Update core diagram
c15a3ec470
Improve phrasing
8569677921
Merge remote-tracking branch 'iteasyndikat/batman_merge' into waschtl
3dc6bbf390
Misc fixes and improvements
ffb1fe4060
Add citations for GitLab CI and RISC-V spec
254a064680
Check all citation links and add urldate=
3b65229eae
Add information about formal verification
6c6323b3cc
MOAR STUFF
05617c9370
Fucked up main- in gitignore...
a219bc2028
Added tikz externalize for faster compilation
bdacd8347c
Added more parts to the DS
ac3b8e9d04
Merge remote-tracking branch 'iteasyndikat/batman_merge' into waschtl
dc77d4bf61
Add labels and captions to listings