1/* 2 * Copyright 2014, General Dynamics C4 Systems 3 * 4 * SPDX-License-Identifier: GPL-2.0-only 5 */ 6 7#pragma once 8 9#include <util.h> 10#include <arch/linker.h> 11 12/* code that is only used during kernel bootstrapping */ 13#define BOOT_CODE SECTION(".boot.text") 14 15/* read-only data only used during kernel bootstrapping */ 16#define BOOT_RODATA SECTION(".boot.rodata") 17 18/* read/write data only used during kernel bootstrapping */ 19#define BOOT_DATA SECTION(".boot.data") 20 21/* node-local bss data that is only used during kernel bootstrapping */ 22#define BOOT_BSS SECTION(".boot.bss") 23 24/* data will be aligned to n bytes in a special BSS section */ 25#define ALIGN_BSS(n) ALIGN(n) SECTION(".bss.aligned") 26 27/* data that will be mapped into and permitted to be used in the restricted SKIM 28 * address space */ 29#define SKIM_DATA SECTION(".skim.data") 30 31/* bss data that is permitted to be used in the restricted SKIM address space */ 32#define SKIM_BSS SECTION(".skim.bss") 33 34 35