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

Add missing linebreak in printf()

Browse source 
Signed-off-by: Axel Heider <axelheider@gmx.de>
This commit is contained in:
Axel Heider 2021-05-14 03:22:56 +02:00 committed by Kent McLeod
parent 5b1809c1d2
commit e1fdbb8031
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/kernel/boot.c
View file

@ -791,7 +791,7 @@ BOOT_CODE void init_freemem(word_t n_available, const p_region_t *available,
/* now try to fit the root server objects into a region */
word_t i = MAX_NUM_FREEMEM_REG - 1;
if (!is_reg_empty(ndks_boot.freemem[i])) {
printf("Insufficient MAX_NUM_FREEMEM_REG");
printf("Insufficient MAX_NUM_FREEMEM_REG\n");
halt();
}
/* skip any empty regions */