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