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

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