Minor naming and formatting fixups

diff --git a/HDL_workflow/libresoc_board_support.mdwn b/HDL_workflow/libresoc_board_support.mdwn
index acd519bcf0b39ba00fcc49d9b65ae7591e8fe012..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.
@@ -30,4 +30,6 @@ None of these are ideal... yet.  WIP.
 
 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...