HelenOS sources

boot/generic/include/halt.h
kernel/generic/include/halt.h