hal_exit(3hal) on Linux

The text b68681508608, as Debian 12 (Bookworm) shipped it.

Shut down HAL

hal_exit(3hal) on Linux now