bug 1244: add linked list ddffirst image

[libreriscv.git] / HDL_workflow / libresoc_board_support.mdwn

diff --git a/HDL_workflow/libresoc_board_support.mdwn b/HDL_workflow/libresoc_board_support.mdwn
index 33b7f169864697818dc7770d2c9f975eead66a39..3ee8aba3a456f644fff99591d76ef33fe2c996dd 100644 (file)
--- a/HDL_workflow/libresoc_board_support.mdwn
+++ b/HDL_workflow/libresoc_board_support.mdwn
@@ -17,7 +17,7 @@ Recommended FPGA Boards:
 
 * VERSA_ECP5 (if possible - it is barely achievable due to only 45k LUT4s)
 * OrangeCrab r0.2 85k **not the 25k it is inadequate**
-* Raptor Engineering ModBMC
+* Raptor Computing Systems "Arctic Tern" -- 85k ECP5 w/ DDR3 + HDMI + Ethernet
 * Digilent Arty A7 (under test, requires nextpnr-xilinx which is very very slow)
 
 None of these are ideal... yet.  WIP.
@@ -27,3 +27,9 @@ None of these are ideal... yet.  WIP.
 * <https://gitlab.raptorengineering.com/kestrel-collaboration/kestrel-firmware/bare-metal-firmware/-/blob/master/main.c#L2328>
 * <https://git.libre-soc.org/?p=microwatt.git;a=blob;f=README.tercel.md;h=874f352c2f4a85b54cd363e618e4bdde58549902;hb=HEAD>
 * <https://git.libre-soc.org/?p=microwatt.git;a=commitdiff;h=e04d79005b2d9da70dba49e54845c8fca2421ea6>
+
+Notes:
+
+Tercel:
+
+User mode is an excellent way to test -- basically, first check you can even read the core's PnP ID (registers 0x00-0x07), and if so then throw the core into user mode and try to read the Flash device ID.  if those two operations work, you're good to go, just point Microwatt's reset vector at 0xf0000000...