Rapid Boot

Rapid Boot is an EFI BIOS alternative using a Linux kernel (in the BIOS flash part) developed by Intel Corporation, primarily intended for computer clusters.