/*
* Copyright (c) 2016 Intel Corporation
*
* SPDX-License-Identifier: Apache-2.0
*/
#include <arch/cpu.h>
#include <kernel_structs.h>
#include <offsets_short.h>
GTEXT(__start)