Xous SDK (pinned for betrusted transpilation)
Find a file
bunnie 7b040f5c34 Close issue #71 (wait_event() for SHA512 block)
I was this many years old when I learned that:

- If you put a `let` inside a block and then pass it outside
the block, it definitely gets a different address. This was causing
KP's in the interrupt handler routine because I was using a block
to mark off the configuration feature and then passing the handle
to the data structure outside the block; instead of just aliasing
the handle over as I assumed it actually makes a copy in a new
address location. This made debugging really hard until I figured
that out, the solution was to put #cfg directives on every line
related to the feature instead of grouping them together into a
block and using a single #cfg directive.

- event_wait() takes longer than 2us to execute. However, the
sha512 computation is done in 2us. So, by the time we checked
if we should wait and called event_wait(), the interrupt that
would wake us up from event_wait would have already happened.
This race condition is what broke event_wait() in the first place.

We now just use a spin loop without even a yield(); as the yield
would take longer to execute than waiting for the hash function
to finalize.
2022-09-22 15:06:54 +08:00
.cargo fixups to fix linux builds 2022-08-21 16:30:37 +08:00
.github/workflows bump minimum toolchain requirement 2022-08-05 16:28:42 +08:00
.vscode first raw commit 2022-07-08 15:36:25 +02:00
apps improve error reproting on #206 2022-09-20 23:24:42 +08:00
devkey
docs Update flash.md 2022-07-09 15:37:50 +08:00
emulation add some .gitigore entries that help make my life a little easier 2022-07-29 15:58:02 +08:00
imports add FLASH_VERIFY to COM command set. Add apilevel to com_rs. 2022-07-10 01:04:34 +08:00
kernel pass the v2p dependency onto xous-rs when it's activated in the kernel 2022-09-15 19:17:00 +08:00
LICENSES
loader fix #174 2022-06-10 21:36:53 +08:00
locales fix #174 2022-06-10 21:36:53 +08:00
precursors add performance monitoring variants of the SoC 2022-09-16 01:37:29 +08:00
services Close issue #71 (wait_event() for SHA512 block) 2022-09-22 15:06:54 +08:00
svd2repl Fix typo in the tool description : 'Rebide' -> 'Renode' 2022-07-03 21:57:00 +02:00
svd2utra add a clone function for AtomicCsr 2022-09-16 01:46:15 +08:00
tools make usb_update.py appear only once in the tree 2022-09-19 12:44:55 +08:00
utralib fix #174 2022-06-10 21:36:53 +08:00
xous-ipc fix #174 2022-06-10 21:36:53 +08:00
xous-rs add feature gate on v2p per xobs' request 2022-09-15 14:06:07 +08:00
xtask add some breadcrumbs 2022-09-16 01:45:15 +08:00
.gitattributes
.gitignore omit the page table file 2022-09-16 01:53:46 +08:00
analyze-bloat.sh fix argument to backup copy 2022-06-14 02:05:31 +08:00
API.md xous: remove xous::xous_main macro 2022-05-31 13:41:48 +08:00
Cargo.lock bump ring-xous ref 2022-09-19 17:49:03 +08:00
Cargo.toml bump ring-xous ref 2022-09-19 17:49:03 +08:00
CODE_OF_CONDUCT.md
CONTRIBUTING.md CONTRIBUTRING: Update license link 2022-04-24 21:48:43 +08:00
README.md Update README.md 2022-04-03 13:10:56 +08:00
RELEASE-v0.8.md
RELEASE-v0.9.md bump release notes 2022-09-20 15:54:43 +08:00
rustfmt.toml

Xous Core

Core files for the Xous microkernel operating system.

You might find this wiki handy, as well as the Xous Book.

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-unknown-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.
  • You may need to remove the target/ directory before building, if rustc continues to behave like it can't find the xous target even after it is installed.
  • 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).
  • Some system packages are needed, which can be installed with sudo apt install libssl-dev libxkbcommon-dev or similar
  • If you receive an error about feature resolver is required, try installing a newer version of rustc and cargo via rustup

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. For now, you need to download the nightly build, until DecodedOperation is included in the release.

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.