ed4dfd4dc1
Previously, the HOLD signal was updated in a different clock domain from the transmission signal. This could result in the HOLD bit being set even if there was no data available. Update the HOLD bit if it's present as part of the Transmit cycle. Signed-off-by: Sean Cross <sean@xobs.io> |
||
|---|---|---|
| .. | ||
| ec | ||
| peripherals | ||
| soc | ||
| build-renode.ps1 | ||
| LICENSE | ||
| peripherals.csproj.template | ||
| README.md | ||
| vexriscv-aes.py | ||
| xous-release.resc | ||
Platonic RISC-V Device
Platonic is an ideal system useful for developing an operating system. It does not represent any sort of real hardware, though differences between platforms is minimal.
Usage
For emulation, you will need to install Renode. Then, run renode on xous-release.resc. For example:
renode emulation/xous-resc.repl
Editing Renode Peripherals
Renode supports adding peripherals written in C#. For example, many Betrusted peripherals have models created under the peripherals/ directory.
Since there is no external compiler, it can be difficult to know if your code is correct. In fact, if you're unfamiliar with C# or the Renode codebase, editing unfamiliar C# code can be a slow exercise in frustration.
Fortunately, Visual Studio Code is free and has excellent C# tooling. All you need to do is point it at your Renode installation, load the C# plugin, and open a .cs file.
- Copy
peripherals.csproj.templatetoperipherals.csproj - Open
peripherals.csprojand point<RenodePath>to your Renode installation directory. On ubuntu, this may be/opt/renode/bin/. - Install C# for VSCode
- You can refer to core Renode peripherals as examples of what C# code looks like.
Debugging with GDB
When running Renode, you can attach a GDB instance. It runs on port 3333. Simply run tar ext :3333 in gdb to attach.