adcca270b2
The ticktimer wasn't properly adjusting the upper bits, meaning delays of more than 42 days did not function properly. This was discovered as part of the libstd tests. Signed-off-by: Sean Cross <sean@xobs.io> |
||
|---|---|---|
| .. | ||
| ec | ||
| peripherals | ||
| soc | ||
| betrusted.resc | ||
| build-renode.ps1 | ||
| LICENSE | ||
| linux-server-rootfs.jffs2 | ||
| linux-server.resc | ||
| peripherals.csproj.template | ||
| README.md | ||
| renode-keybox.bin | ||
| renode.key | ||
| rootkeys-to-renode.md | ||
| versatile-vmlinux | ||
| vexriscv-aes.py | ||
| xous-release-tap.resc | ||
| 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 (use the nightly to get SPI.NORFlash peripheral support). 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.