Build scripts for hydra-kernel (https://github.com/Gwenio/hydra-kernel).