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

trivial: use proper naming

Browse source 
Signed-off-by: Axel Heider <axel.heider@hensoldt-cyber.de>
This commit is contained in:
Axel Heider 2021-06-29 15:59:03 +02:00
parent 3bb899bc5f
commit 89e7d01ade
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/arch/riscv/kernel/boot.c
View file

@ -391,7 +391,7 @@ static BOOT_CODE bool_t try_init_kernel(
return false;
}
/* no shared-frame caps (RISCV has no multikernel support) */
/* no shared-frame caps (RISC-V has no multikernel support) */
ndks_boot.bi_frame->sharedFrames = S_REG_EMPTY;
/* finalise the bootinfo frame */