4 * Copyright (C) 2014 Red Hat Inc.
6 * This source code is licensed under the GNU General Public License,
7 * Version 2. See the file COPYING for more details.
10 /* A stack for the loaded kernel.
11 * Separate and in the data section so it can be prepopulated.
15 .globl stack, stack_end