portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

remove redundant defines

Browse source 
These defines are set up in the architecture specific bootinho.h.

Signed-off-by: Axel Heider <axelheider@gmx.de>
This commit is contained in:
Axel Heider 2021-07-10 13:24:06 +02:00 committed by Gerwin Klein
parent e20652f664
commit d1a456bebd
1 changed files with 0 additions and 10 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
include/kernel/boot.h
View file

@ -8,16 +8,6 @@
#include <bootinfo.h>
#include <arch/bootinfo.h>
#ifndef CONFIG_ARCH_ARM
#define MAX_NUM_FREEMEM_REG 16
#else
/* Modifiers:
* + 1: allow the kernel to release its own boot data region
* + 1: possible gap between ELF images and rootserver objects;
* see arm/arch_init_freemem */
#define MAX_NUM_FREEMEM_REG (ARRAY_SIZE(avail_p_regs) + MODE_RESERVED + 1 + 1)
#endif
/*
* Resolve naming differences between the abstract specifications
* of the bootstrapping phase and the runtime phase of the kernel.