sail-riscv.git - Unnamed repository; edit this file 'description' to name the repository.

Age	Commit message (Collapse)	Author	Files	Lines
2024-09-19	Remove the OCaml emulator	Tim Hutt	1	-5/+0
	This has the following benefits: * Reduces the maintenance burden for making changes to the emulator. They don't have to be done in two places and you don't need to learn OCaml. * Removes the dependency on OCaml and OPAM, which is a weirdly bug-prone tool. * Removes confusion for new users about which emulator to use. * Shorter CI time. It removed two capabilities which were deemed to be acceptable for now: * Unlike the OCaml emulator the C emulator cannot dynamically generate a Device Tree Blob based on the options you give it. However this would be relatively easy to add back if anyone needs it - it just involves making a templated DTS and then running it through `dtc`. You can also just do that manually for now. * Unlike the C code the OCaml Sail code has the ability to generate random instructions which was maybe once used by TestRig but they no longer use it. Fixes #509
2021-06-25	Add a Dockerfile with sail and dependencies.	Robert Norton	1	-0/+5
	I have used this locally to build using a command like: docker run -v $PWD:/sail-riscv -w /sail-riscv <docker-image> make csim Thanks to @jameyhicks in #28 for showing how. Next step is to integrate this into github workflow somehow.