gfreewind/zCore

Reimplement Zircon microkernel in Rust.

zCore

Reimplement Zircon microkernel in safe Rust as a userspace program!

Dev Status

🚧 Working In Progress

• 2020.04.16: Zircon console is working on zCore! 🎉

Quick start for RISCV64

make riscv-image
cd zCore
make run ARCH=riscv64 LINUX=1

Getting started

Environments：

• Rust toolchain
• QEMU
• Git LFS

Developing environment info

• current rustc -- rustc 1.60.0-nightly (5e57faa78 2022-01-19)
• current rust-toolchain -- nightly-2022-01-20
• current qemu -- 5.2.0 -> 6.2.0

Clone repo and pull prebuilt fuchsia images:

git clone https://github.com/rcore-os/zCore --recursive
cd zCore
git lfs install
git lfs pull

For users in China, there's a mirror you can try:

git clone https://github.com.cnpmjs.org/rcore-os/zCore --recursive

Run zcore in libos mode

Run zcore in linux-libos mode

• step 1: Prepare Alpine Linux rootfs:

  make rootfs

• step 2: Compile & Run native Linux program (Busybox) in libos mode:

  cargo run --release --features "linux libos" -- /bin/busybox [args]

  You can also add the feature graphic to show the graphical output (with sdl2 installed).

  To debug, set the LOG environment variable to one of error, warn, info, debug, trace.

Run native Zircon program (shell) in zircon-libos mode:

• step 1: Compile and Run Zircon shell

  cargo run --release --features "zircon libos" -- prebuilt/zircon/x64/bringup.zbi

  The graphic and LOG options are the same as Linux.

Run zcore in bare-metal mode

Run Linux shell in linux-bare-metal mode:

• step 1: Prepare Alpine Linux rootfs:

  make rootfs

• step 2: Create Linux rootfs image:

  Note: Before below step, you can add some special apps in zCore/rootfs

  make image

• step 3: Build and run zcore in linux-bare-metal mode:

  cd zCore && make run MODE=release LINUX=1 [LOG=warn] [GRAPHIC=on] [ACCEL=1]

Run Zircon shell in zircon-bare-metal mode:

• step 1: Build and run zcore in zircon-bare-metal mode:

  cd zCore && make run MODE=release [LOG=warn] [GRAPHIC=on] [ACCEL=1]

• step 2: Build and run your own Zircon user programs:

  # See template in zircon-user
  cd zircon-user && make zbi MODE=release
  
  # Run your programs in zCore
  cd zCore && make run MODE=release USER=1 [LOG=warn] [GRAPHIC=on] [ACCEL=1]

Testing

LibOS Mode Testing

Zircon related

Run Zircon official core-tests:

pip3 install pexpect
cd scripts && python3 unix-core-testone.py 'Channel.*'

Run all (non-panicked) core-tests for CI:

pip3 install pexpect
cd scripts && python3 unix-core-tests.py
# Check `zircon/test-result.txt` for results.

Linux related

Run Linux musl libc-tests for CI:

make rootfs && make libc-test
cd scripts && python3 libos-libc-tests.py
# Check `linux/test-result.txt` for results.

Bare-metal Mode Testing

Zircon related

Run Zircon official core-tests on bare-metal:

cd zCore && make test MODE=release [ACCEL=1] TEST_FILTER='Channel.*'

Run all (non-panicked) core-tests for CI:

pip3 install pexpect
cd scripts && python3 core-tests.py
# Check `zircon/test-result.txt` for results.

x86-64 Linux related

Run Linux musl libc-tests for CI:

##  Prepare rootfs with libc-test apps
make baremetal-test-img
## Build zCore kernel
cd zCore && make build MODE=release LINUX=1 ARCH=x86_64
## Testing
cd scripts && python3 baremetal-libc-test.py
##

You can use scripts/baremetal-libc-test-ones.py & scripts/linux/baremetal-test-ones.txt to test specified apps.

scripts/linux/baremetal-test-fail.txt includes all failed x86-64 apps (We need YOUR HELP to fix bugs!)

riscv-64 Linux related

Run Linux musl libc-tests for CI:

##  Prepare rootfs with libc-test & oscomp apps
make riscv-image
## Build zCore kernel & Testing
cd scripts && python3 baremetal-test-riscv64.py
##

You can use scripts/baremetal-libc-test-ones-riscv64.py & scripts/linux/baremetal-test-ones-rv64.txtto test specified apps.

scripts/linux/baremetal-test-fail-riscv64.txtincludes all failed riscv-64 apps (We need YOUR HELP to fix bugs!)

Graph/Game

snake game: https://github.com/rcore-os/rcore-user/blob/master/app/src/snake.c

Step1: compile usr app

We can use musl-gcc compile it in x86_64 mode

Step2: change zcore for run snake app first.

change zCore/zCore/main.rs L176 vec!["/bin/busybox".into(), "sh".into()] TO vec!["/bin/snake".into(), "sh".into()]

Step3: prepare root fs image, run zcore in linux-bare-metal mode

exec:

cd zCore #zCore ROOT DIR
make rootfs
cp ../rcore-user/app/snake rootfs/bin #copy snake ELF file to rootfs/bin
make image # build rootfs image
cd zCore #zCore kernel dir
make run MODE=release LINUX=1 GRAPHIC=on

Then you can play the game. Operation

• Keyboard
  • W/A/S/D: Move
  • R: Restart
  • ESC: End
• Mouse
  • Left: Speed up
  • Right: Slow down
  • Middle: Pause/Resume

Doc

make doc

RISC-V 64 porting info

• porting riscv64 doc

Components

Overview

Hardware Abstraction Layer

	Bare Metal	Linux / macOS
Virtual Memory Management	Page Table	Mmap
Thread Management	executor	async-std::task
Exception Handling	Interrupt	Signal

Small Goal & Little Plans

• https://github.com/rcore-os/zCore/wiki/Plans