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
af6338dbd3
Sanitized bibliography
d1e846960c
Merge remote-tracking branch 'iteasyndikat/batman-release-20200327' into waschtl
8492d24c27
Release batman-2020-03-27
ad723217ad
Add information about external bus
244380ee5f
Fix citations, change citation style
fe5fd915b8
FUCK
5eba41131e
Merge branch 'batman_merge' into waschtl
ed378c0917
Merge batman content
1cb525748f
Fix compilation, add gitignore
bf239165f8
Cite more sources, use figures for graphics
1fe628bf1a
Merge branch 'waschtl' of ssh://git.it-syndikat.org:2222/tyrolyean/dipl into waschtl
9879f2f409
COmmit before merge