
13 Jul
2023
13 Jul
'23
3:22 p.m.
On Thu, Jul 13, 2023 at 8:14 PM Julien Delbergue j.delbergue.foss@gmail.com wrote:
Fix it to 'boot' in the header, as it is in the source file.
Signed-off-by: Julien Delbergue j.delbergue.foss@gmail.com
include/bootstd.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-)
Reviewed-by: Bin Meng bmeng.cn@gmail.com