[doc] Moved the getting started content into the main book.

Signed-off-by: Hugo McNally <[email protected]>

Author: HU90m

SUMMARY.md

@@ -2,6 +2,22 @@
 
 [OpenTitan](./doc/introduction.md)
 
+# Getting Started
+
+- [Getting Started](./doc/getting_started/README.md)
+
+- [Workflows]()
+  - [Design Verification](./doc/getting_started/setup_dv.md)
+  - [Formal Verification](./doc/getting_started/setup_formal.md)
+  - [Building (and Testing) Software](./doc/getting_started/build_sw.md)
+  - [Building Documentation](./doc/getting_started/build_docs.md)
+  - [Using OpenOCD](./doc/getting_started/using_openocd.md)
+
+- [Tools Setup]()
+  - [FPGA Setup](./doc/getting_started/setup_fpga.md)
+  - [Verilator Setup](./doc/getting_started/setup_verilator.md)
+  - [Installing Vivado](./doc/getting_started/install_vivado/README.md)
+
 # Hardware
 
 - [Introduction](./hw/README.md)

doc/guides/getting_started/src/README.md doc/getting_started/README.md

@@ -17,7 +17,7 @@ <h1 class="logo">
         <a href="/documentation">Documentation</a>
       </li>
       <li class="main-nav__item">
-        <a href="/guides/getting_started#top">Getting Started</a>
+        <a href="/book/doc/getting_started">Getting Started</a>
       </li>
       <li class="main-nav__item">
         <a href="/dashboard#top">Dashboard</a>