From b4242acc35c522bd4d4a951a84933ba6f80d2015 Mon Sep 17 00:00:00 2001 From: spicyjpeg Date: Wed, 5 Apr 2023 01:30:55 +0200 Subject: Clean up all headers, add and rename some BIOS APIs --- examples/system/childexec/parent.c | 2 +- examples/system/console/main.c | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) (limited to 'examples/system') diff --git a/examples/system/childexec/parent.c b/examples/system/childexec/parent.c index 79c81f1..cfed11c 100644 --- a/examples/system/childexec/parent.c +++ b/examples/system/childexec/parent.c @@ -273,7 +273,7 @@ extern char child_exe[]; void run_child(void) { // Arguments for the child program - char *args[] = + const char *args[] = { "SAMPLE=0", "SESSION=1", diff --git a/examples/system/console/main.c b/examples/system/console/main.c index b4f91b4..845ca95 100644 --- a/examples/system/console/main.c +++ b/examples/system/console/main.c @@ -25,7 +25,7 @@ #include #include #include -#include +#include #include #include #include -- cgit v1.2.3