hackedteam/vector-edk

// CURRENT SETTINGS!

#include <Uefi.h>

#include "config.h"

#include "settings.h"


// Pointer to platform configuration
CONFIGURATION *gConfiguration = NULL;

//int _fltused;