Xous SDK (pinned for betrusted transpilation)
Find a file
bunnie 74e2f3f2d2 add a trace debug print in engine emulation for correlation
against cycle-accurate verilog simulator.
2021-09-07 05:08:56 +08:00
.cargo xtask: add cargo xtask command 2020-08-17 19:42:39 +08:00
.vscode vscode: specify platform for vscode support 2021-08-06 17:51:47 +08:00
devkey beginnings of image signing 2021-07-06 17:31:09 +08:00
docs Update memory.md 2021-08-27 23:21:37 +08:00
emulation add a trace debug print in engine emulation for correlation 2021-09-07 05:08:56 +08:00
imports fix incorrect USB_CC return word count 2021-09-06 00:57:15 +08:00
kernel kernel: update version of gdbserver 2021-08-25 16:05:56 +08:00
LICENSES creating LICENSES directory 2021-01-25 14:52:31 +01:00
loader make sure that the power states get set correctly early in the resume process 2021-08-27 15:47:27 +08:00
locales fix permissions. windows is sort of stupid and makes everything +x 2021-08-19 23:34:29 +08:00
macros fix permissions. windows is sort of stupid and makes everything +x 2021-08-19 23:34:29 +08:00
precursors add precurcsors with the right tag 2021-08-30 00:57:30 +08:00
services add wycheproof help message 2021-09-06 14:43:19 +08:00
svd2repl emulation: fix betrustedsoci2c implementation 2021-08-30 15:12:13 +08:00
svd2utra change compiler fence to SeqCst 2021-09-05 17:15:31 +08:00
tools move wycheproof-import to tools 2021-09-06 14:42:19 +08:00
utralib utralib: use canonicalized path for svd in rebuilding 2020-11-23 17:18:44 +08:00
xous-ipc fix permissions. windows is sort of stupid and makes everything +x 2021-08-19 23:34:29 +08:00
xous-rs fix permissions. windows is sort of stupid and makes everything +x 2021-08-19 23:34:29 +08:00
xtask move wycheproof-import to tools 2021-09-06 14:42:19 +08:00
.gitattributes gitattributes: add txt as lf 2021-03-10 17:36:41 +08:00
.gitignore emulation: ignore obj/ directory 2021-06-21 14:13:52 +08:00
API.md split API examples into a separate file independent of a particular release 2021-09-05 20:45:47 +08:00
buildpush.bat remove stale referecne from debugging bbram 2021-08-22 02:31:52 +08:00
buildpush.sh cleanup build script 2021-08-24 21:28:00 +08:00
Cargo.lock move wycheproof-import to tools 2021-09-06 14:42:19 +08:00
Cargo.toml move wycheproof-import to tools 2021-09-06 14:42:19 +08:00
CODE_OF_CONDUCT.md initial commit 2020-03-10 12:13:05 +08:00
CONTRIBUTING.md initial commit 2020-03-10 12:13:05 +08:00
README.md fix up README.md to match today's release 2021-08-20 17:52:18 +08:00
RELEASE-v0.8.md clean up release notes 2021-09-05 20:46:23 +08:00
RELEASE-v0.9.md clean up release notes 2021-09-05 20:46:23 +08:00
rustfmt.toml finalize formatting run 2021-08-20 00:26:16 +08:00
start-gdb.sh try to layer in the fcc agent 2020-12-31 19:31:12 +08:00
wb-gdb.sh add helper script for wishbone gdb 2021-01-13 23:18:30 +08:00

Xous Core

Core files for the Xous microkernel operating system.

You might find this collection of Xous documentation handy.

This repository contains everything necessary to build the Xous kernel from source. It consists of the following projects:

  • kernel: core memory manager, irq manager, and syscallhandler
  • loader: initial loader used to start the kernel
  • tools: programs used to construct a final boot image
  • docs: documentation on various aspects of Xous
  • emulation: Renode scripts used to emulate Xous
  • xous-rs: userspace library

Dependencies

  • Xous requires its own Rust target, riscv32imac-unkwon-xous-elf. If you run cargo xtask from the command line, you should be prompted to install the target automatically if it does not already exist.
  • If you plan on doing USB firmware updates, you'll need progressbar2 (updates) and pyusb (updates). Note that pyusb has name space conflicts with similarly named packages, so if updates aren't working you may need to create a venv or uninstall conflicting packages.
  • If you are doing development on the digital signatures with the Python helper scripts, you will need: pycryptodome (signing - PEM read), cryptography (signing - x509 read), pynacl (signing - ed25519 signatures) (most users won't need this).

Quickstart using Hosted Mode

You can try out Xous in a "hosted mode" wherein programs are compiled for your native platform and are run locally as processes within your current operating system. System calls are replaced with network calls to a kernel that simply shuffles messages around.

Xous uses the xtask convention, where various complex build commands are stored under cargo xtask. This allows for us to create arbitrarily complex build sequences without resorting to make (which is platform-dependent), sh (which requires a lot of external tooling), or another build system.

To build a set of sample programs and run them all using the kernel for communication, clone this repository and run:

cargo xtask run

This will build several servers and a "shell" program to control them all. Most notably, a graphics-server will appear and kernel messages will begin scrolling in your terminal.

Quickstart using an emulator

Xous uses Renode as the preferred emulator, because it is easy to extend the hardware peripherals without recompiling the entire emulator.

Download Renode and ensure it is in your path. Then, build Xous:

cargo xtask renode-image

This will compile everything in release mode for RISC-V, compile the tools require to package it all up, then create an image file.

Finally, run Renode and specify the xous-release.resc REnode SCript:

renode emulation/xous-release.resc

Renode will start emulation automatically, and will run the same set of programs as in "Hosted mode".

Generating a hardware image

To build for real hardware, you must specify an .svd file. This file is generated by the SoC build process and describes a single Betrusted core. These addresses will change as hardware is modified, so if you distribute a modified Betrusted core, you should be sure to distribute the .svd file.

We have included a reference version of the gateware and its SVD file in the precursors directory, so you can compile a gateware for the reference image using this command:

cargo xtask hw-image precursors/soc.svd

The resulting images are in your target directory (typically target/riscv32imac-unknown-xous-elf/release/) with the names xous.img (for the kernel) and loader.bin (for its bootloader). The corresponding gateware is in precursors/soc_csr.bin. These can be written to your device by following the update guide.