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

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

/**    @addtogroup boot_arm32 arm32
 *     @ingroup boot
 */
