Linux Hardware for FPGAs