第〇章 操作系统概述

riscv64-unknown-elf-gdb 在Nix中似乎没有现成的包可用；不过 riscv64-unknown-linux-gnu-gdb 也可用，大概是因为前者是后者的子集。

相应地，Makefile也需要patch一下。

2 「整数除以零」操作在我的平台（R9 7940H，GCC 14.2.1）上生成的指令是ud2，也即非法指令，触发的是SIGILL信号。指令和信号在各平台/编译器中不一致的原因是除零在C中是UB。