28 lines (23 loc) · 756 Bytes

Running Linux Kernel on Ex-Nihilo Core 🏃

Important: If you don't have OpenSBI, Linux Kernel and Ex-Nihilo Core compiled, follow those guides.

Go to the project folder

Docker

cd /project

WSL

cd ~/project

Running the emulator

/Ex-Nihilo-Core/bin/exnihilo \
	--bios build/opensbi/platform/generic/firmware/fw_dynamic.bin \
	--dtb /Ex-Nihilo-Core/exnihilo.dtb \
	--kernel build/linux/arch/riscv/boot/Image

--bios: the firmware (OpenSBI fw_dynamic.bin)

--dtb: a .dtb file describing the machine to the firmware/kernel

--kernel: the Linux kernel image (arch/riscv/boot/Image)