WS=$HOME/ws
WS_LINUX=$WS/dev-linux
OUTPUT_LINUX=$WS_LINUX/out-linux-debug
CWD=$WS_LINUX/ilovelinux
OUTPUT=$CWD/output

PATH_LINUX=$WS_LINUX/linux
PATH_KERNEL_IMAGE=$OUTPUT_LINUX/arch/riscv/boot/Image

PATH_ROOTFS_IMAGE=$WS/test-buildroot/out-rv64-virt/images/rootfs.ext2
PATH_INITRAMFS_IMAGE=$WS/test-buildroot/out-rv64-virt/images/rootfs.cpio

PATH_DISK_IMAGE=$OUTPUT/hdisk.img
PATH_DISK_DIR=$OUTPUT/hdisk

PATH_GDBINIT=$CWD/gdbinit
PATH_VMLINUX=$OUTPUT_LINUX/vmlinux

# Ubuntu 22.04, sudo apt install -y gdb-multiarch
GDB=gdb-multiarch
# Ubuntu 22.04, sudo apt-get install -y qemu-system-misc
QEMU=qemu-system-riscv64