AmirOS updated the sources (added the bool type, updated the keyboard IRQ)