1/*
2 * Copyright 2014, General Dynamics C4 Systems
3 *
4 * This software may be distributed and modified according to the terms of
5 * the GNU General Public License version 2. Note that NO WARRANTY is provided.
6 * See "LICENSE_GPLv2.txt" for details.
7 *
8 * @TAG(GD_GPL)
9 */
10
11#ifndef __LINKER_H
12#define __LINKER_H
13
14#include <util.h>
15#include <arch/linker.h>
16
17/* code that is only used during kernel bootstrapping */
18#define BOOT_CODE SECTION(".boot.text")
19
20/* read-only data only used during kernel bootstrapping */
21#define BOOT_RODATA SECTION(".boot.rodata")
22
23/* read/write data only used during kernel bootstrapping */
24#define BOOT_DATA SECTION(".boot.data")
25
26/* node-local bss data that is only used during kernel bootstrapping */
27#define BOOT_BSS SECTION(".boot.bss")
28
29/* data will be aligned to n bytes in a special BSS section */
30#define ALIGN_BSS(n) ALIGN(n) SECTION(".bss.aligned")
31
32/* data that will be mapped into and permitted to be used in the restricted SKIM
33 * address space */
34#define SKIM_DATA SECTION(".skim.data")
35
36/* bss data that is permitted to be used in the restricted SKIM address space */
37#define SKIM_BSS SECTION(".skim.bss")
38
39#endif /* __LINKER_H */
40