/*
 * @file efi_output.cpp
 *
 */

#include "efi_output.h"