From: TimothyPearson <TimothyPearson@web>
Date: Wed, 23 Feb 2022 18:42:49 +0000 (+0000)
Subject: Minor naming and formatting fixups
X-Git-Tag: opf_rfc_ls005_v1~3184
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=560cc86f6cfde77abaf283d55c8565173eedc925;p=libreriscv.git

Minor naming and formatting fixups
---

diff --git a/HDL_workflow/libresoc_board_support.mdwn b/HDL_workflow/libresoc_board_support.mdwn
index acd519bcf..3ee8aba3a 100644
--- 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...