The text f75c29eba289, as Debian 12 (Bookworm) shipped it.
Create a HAL thread
hal_create_thread(3hal) on Linux now
