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