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