baremetalisp

Serial Console

• baud rate: 115200
• no parity
• 1 stop bit

$ screen /dev/tty.usbserial-0001 115200
ctrl-a d (detach)
$ screen -r (attach)
ctrl-a k (kill)

Dependencies

Trusted Firmware binary

• sunxi-a64-h5-spl.bin
  • https://github.com/apritzel/pine64/tree/master/binaries

and customized BL31 image, which is compiled from ATF

$ make PLAT=sun50i_a64 SPD=opteed bl31

BLisp

A statically typed programming language.

• https://ytakano.github.io/blisp/
• https://crates.io/crates/blisp
• https://github.com/ytakano/blisp

synctools

A library for synchronization.

• https://crates.io/crates/synctools
• https://github.com/ytakano/synctools/

memalloc

A memory allocator crate, which uses buddy and slab allocator.

• https://crates.io/crates/memac
• https://github.com/ytakano/memalloc

Boot Image

Under Construction

SCP

• or1k tool chain (for x86-64 only)
  • https://musl.cc/or1k-linux-musl-cross.tgz
• https://github.com/crust-firmware/crust

$ export PATH="$PATH:/path/to/or1k-linux-musl-cross/bin/
$ git clone https://github.com/crust-firmware/crust
$ cd crust
$ export CROSS_COMPILE=or1k-linux-musl-
$ make pinephone_defconfig
$ make scp
$ ls build/scp/scp.bin
scp.bin

u-boot

For x86-64.

$ export CROSS_COMPILE=aarch64-linux-gnu-
$ export ARCH=arm64

$ git clone https://gitlab.com/pine64-org/u-boot.git
$ cd u-boot
$ git fetch origin v2021.04
$ git checkout v2021.04
$ cp /path/to/bl31.bin .
$ cp /path/to/scp.bin .
$ make distclean
$ make pinephone_defconfig
$ make all

Run on Qemu

Install qemu.

$ brew install qemu

Compile and run.

$ cd kernel
$ make BSP=raspi3
$ qemu-system-aarch64 -M raspi3b -kernel kernel8.img -serial stdio