Boot process

Documentation of the Halyde boot process.