100644 blob fda574bb166da927fb309e7d6eaa4929345b829f	README.md
100644 blob 3210cd15dc7beb7978da96e2b91541698bd4c76c	SUMMARY.md
100644 blob b882d0d91577c26e1b81080c5cc084cf3963cb69	build_docs.md
100644 blob 510b96a1253902ede8af53442839fa60acae1154	build_sw.md
100644 blob e01c0063d23a282faf0eb1d46f62193ed7797b2c	getting_started_workflow.svg
100644 blob 0a2e2e1b5c4d9aa5bb6670c42c52c47bf2543f9d	install_openocd.md
040000 tree 128ce8823da46b9377417c01748c8e6ac5350a7a	install_vivado
100644 blob 2bc031467d854e356acdae264aa0b3317d7178bf	setup_dv.md
100644 blob d9b7c574871b1e573be39e0752c772703c4ac1fc	setup_formal.md
100644 blob 5d6d113b27c4fcc628804c76f9c97023ae80b20b	setup_fpga.md
100644 blob bc0368c38b2f95a4ba30b9a4e33a0082295c7d48	setup_verilator.md