/*
 * Copyright (c) 2018 Intel Corporation
 *
 * SPDX-License-Identifier: Apache-2.0
 */
/* This "C" file exists solely to include the contents of
 * separately-compiled binary stubs into the link.  It's easier than
 * trying to objcopy the contents into linkable object files,
 * especially when combined with cmake's somewhat odd special-cased
 * dependency handling (which works fine with C files, of course).
 */

/* The 32 bit stub is our entry point and goes into a separate linker
 * section so it can be placed correctly
 */
__asm__(".section .xuk_stub32\n"
	".incbin \"xuk-stub32.bin\"\n");

/* The 16 bit stub is the start of execution for auxiliary SMP CPUs
 * (also for real mode traps if we ever want to expose that
 * capability) and just lives in rodata.  It has to be copied into low
 * memory by the kernel once it is running.
 */
__asm__(".section .rodata\n"
	".globl _xuk_stub16_start\n"
	"_xuk_stub16_start:\n"
	".incbin \"xuk-stub16.bin\"\n"
	".globl _xuk_stub16_end\n"
	"_xuk_stub16_end:\n");