// hal_disk.c intentionally left empty.
// Disk registration and dispatch live in kernel/io_device.c.