24c636e82a
Fix work reference
e0cdacd1da
Re-compiled
368c33cdb8
Merge remote-tracking branch 'iteasyndikat/batman' into merge-all
b8f0eab401
Moved subpages
2b4b735d40
Fix footnote hyperref links targetting last page
634ced8911
Merge branch 'waschtl' into merge-all
28abbf430e
More modifications
634ced8911
Merge branch 'waschtl' into merge-all
34bb2bfa4e
Add more temp files to gitignore
a5cb1acc97
Move FPGA development section to separate file
67808579e4
Add subsection about Free software to intro
d662561c36
Fix double instantiation of appendix package
a5cb1acc97
Move FPGA development section to separate file
67808579e4
Add subsection about Free software to intro
d662561c36
Fix double instantiation of appendix package
a7f325489c
Language improvements
f9412ad437
Unify page numbering
1b7e6fad41
Remove more German
e5744491ab
Remove German headings, unify numbering schemes
d9a7c973f5
Fix missing characters
287fa0b7ee
Add info about SoC software
f4164ca3f2
Add info stub for SoC UART
637573fd43
Update core diagram
c15a3ec470
Improve phrasing
3e66e5d6c8
Add info about external bus clock speed
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
e891568008
Small fixes
40bc2327fd
Add information about DRAM interface
89f0a1565e
Improve FPGA comparison tables
239106c2fd
Add nbsp before citations