/** @addtogroup boot boot
 * @brief HelenOS boot infrastructure
 */

/**
 *     @addtogroup boot_generic generic
 *     @ingroup boot
 */

/**    @addtogroup arm32boot arm32
 *     @ingroup boot
 */