No version of the linux kernel worked with all drivers necessary for HAL and we had to roll our own. - View it on GitHub