blob: 8c2719cec22fc32072f5de1c57029da46f694326 [file] [log] [blame]
/*
* 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)