/*++

Copyright (c) 2015 Minoca Corp. All Rights Reserved

Module Name:

    pc.txt

Abstract:

    This module implements the setup recipe for the Intel Galileo board.

Author:

    Evan Green 19-Oct-2015

Environment:

    Setup

--*/

DriverFiles += DriverFilesX86;
DriverFiles += [
    "qrkhostb.drv",
];

BootDrivers += BootDriversX86;
BootDrivers += [
    "qrkhostb.drv",
];

DiskData["Format"] = PARTITION_FORMAT_MBR;

//
// The Galileo uses the second debug device found for debugging.
//

BootEntry["DebugDevice"] = 1;
BootEntry["KernelArguments"] += " ps.env=CONSOLE=/dev/Terminal/Slave2 ";

//
// Set the EFI boot manager name.
//

BootmefiCopy["Destination"] += EFI_DEFAULT_APP_X86;

