xous-core/emulation
Sean Cross 7087b8f018 emulation: add RebootOnExpiry to wdt
When running the system without the UI, sometimes it's useful to avoid
the WDT resetting the whole system.

Signed-off-by: Sean Cross <sean@xobs.io>
2023-12-24 15:18:36 +08:00
..
ec
peripherals emulation: add RebootOnExpiry to wdt 2023-12-24 15:18:36 +08:00
soc
betrusted.resc
build-renode.ps1
LICENSE
linux-server-rootfs.jffs2 linux-server: update versatile system 2022-03-02 21:08:22 +08:00
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 add @xobs patch to get a local-only interface working 2023-09-21 18:39:32 +08:00

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.

  1. Copy peripherals.csproj.template to peripherals.csproj
  2. Open peripherals.csproj and point <RenodePath> to your Renode installation directory. On ubuntu, this may be /opt/renode/bin/.
  3. Install C# for VSCode
  4. 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.