/**
 * PROJECT:         ExectOS
 * COPYRIGHT:       See COPYING.md in the top level directory
 * FILE:            sdk/xtdk/xtbmapi.h
 * DESCRIPTION:     Top level header for the XT Boot Manager API
 * DEVELOPERS:      Rafal Kupiec <belliash@codingworkshop.eu.org>
 */

/* Base XT headers */
#include <xtdefs.h>
#include <xtstatus.h>
#include <xttarget.h>
#include <xttypes.h>

/* Architecture-independent XT API */
#include <xtbase.h>
#include <xtfw.h>
#include <xtimage.h>
#include <xtuefi.h>