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
ad723217ad
Add information about external bus
244380ee5f
Fix citations, change citation style
e65030ef47
Add information about riscv compliance tests
d6c4776b44
Merge batman content
1cb525748f
Fix compilation, add gitignore
ef3066273c
Merge batman content
9e57937e77
Fix compilation, add gitignore
ef3066273c
Merge batman content
9e57937e77
Fix compilation, add gitignore
bf239165f8
Cite more sources, use figures for graphics
52f3c6b0a7
Add information about ws2812 driver
e685cdea10
Fix Eater CPU publication year in bibliography