gnufi is designed so that the firmware can be loaded in several different ways, suiting the desired environment. A `loader' is responsible for loading the firmware kernel into memory and collecting information about the environment before passing control to the firmware kernel.