chiark / gitweb /
manager: Linux on hppa has fewer rtsigs, hence avoid using the higher ones there