Xous SDK (pinned for betrusted transpilation)
Find a file
Sean Cross dafec2bb89 kernel: make contexts first-class
Due to an initial misunderstanding of how the RISC-V is architected,
contexts were going to be an emergent property of the kernel.

However, after further consideration, contexts must now be baked into
the kernel.  Switching between contexts can be handled by the scheduler,
but the kernel must keep track of processor registers.

Keep track of context IDs and ensure they are sane.  With this patch,
interrupts work, as does basic context switching.

Signed-off-by: Sean Cross <sean@xobs.io>
2020-03-27 12:30:29 +08:00
docs arguments: use byte-sized granularity for IniE 2020-03-12 15:28:28 +08:00
emulation emulation: add powershell script to build renode 2020-03-18 14:40:23 +08:00
examples examples: the beginnings of message passing and receiving 2020-03-19 17:26:16 +08:00
kernel kernel: make contexts first-class 2020-03-27 12:30:29 +08:00
loader loader: implement byte-addressing for init elf files 2020-03-12 15:29:10 +08:00
tools tools: generate byte addresses for mini elf files 2020-03-12 15:29:26 +08:00
xous-rs kernel: make contexts first-class 2020-03-27 12:30:29 +08:00
.gitattributes initial commit 2020-03-10 12:13:05 +08:00
.gitignore initial commit 2020-03-10 12:13:05 +08:00
Cargo.lock cargo: add lock file for sha3 implementation 2020-03-16 19:04:46 +08:00
Cargo.toml log: add log example 2020-03-13 20:32:44 +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 README: update info on running renode 2020-03-12 13:33:37 +08:00

Xous Core

Core files for the Xous microkernel operating system.

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

Generating an image

You can build all Xous packages by running:

$ rustup target add riscv32imac-unknown-none-elf
$ cargo build --target riscv32imac-unknown-none-elf
$ cd kernel
$ cargo build -p kernel --target riscv32imac-unknown-none-elf
$ cd ..
$ cd loader
$ cargo build -p loader --target riscv32imac-unknown-none-elf
$ cd ..

This will compile all runtime packages for riscv32imac-unknown-none-elf. Note that the kernel and loader must currently be built separately, due to the fact that they have custom linker scripts.

These need to be packaged into a loadable binary. You can generate such a binary by running the following:

$ cargo run -p tools --bin create-image -- \
        --csv emulation/csr.csv \
        --kernel target/riscv32imac-unknown-none-elf/debug/kernel \
        --init target/riscv32imac-unknown-none-elf/debug/shell \
        target/args.bin

$