aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorIan Moffett <ian@osmora.org>2024-05-17 13:18:01 -0400
committerIan Moffett <ian@osmora.org>2024-05-17 13:18:01 -0400
commitd164ed5baac60f21e0435ae49d20009ee8cd6dc1 (patch)
treefbb4b9ae732c7a3b99723fe4f34449db78a524f2
parent406d49ec0346e4c8a55109fd698e8364f16cfada (diff)
build: Introduce kconf for kernel configuration
The kernel will be configured by a per-arch config file. The config file for the AMD64 port exists at sys/arch/amd64/conf/GENERIC Signed-off-by: Ian Moffett <ian@osmora.org>
-rw-r--r--Makefile.in30
-rwxr-xr-xbootstrap5
-rw-r--r--configure.ac23
-rw-r--r--sys/arch/amd64/conf/GENERIC7
-rw-r--r--tools/kconf/.gitignore3
-rw-r--r--tools/kconf/Makefile9
-rwxr-xr-xtools/kconf/build5
-rw-r--r--tools/kconf/grammer.y86
-rwxr-xr-xtools/kconf/kconfbin0 -> 31608 bytes
-rw-r--r--tools/kconf/scan.l60
10 files changed, 179 insertions, 49 deletions
diff --git a/Makefile.in b/Makefile.in
index 331554d..37f1e98 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -1,40 +1,18 @@
.SILENT:
-
-###############################
-# Feature stuff
-###############################
-override SPECTRE_MITIGATION = @SPECTRE_MITIGATION@
-override SERIAL_DEBUG = @SERIAL_DEBUG@
-
-ifeq ($(SPECTRE_MITIGATION), 1)
- override SPECTRE_FLAGS=-D__SPECTRE_MITIGATION
-else
- override SPECTRE_FLAGS=
-endif
-
-ifeq ($(SERIAL_DEBUG), 1)
- override SERIAL_DEBUG_FLAGS=-D__SERIAL_DEBUG
-else
- override SERIAL_DEBUG_FLAGS=
-endif
-
-
###############################
# CFLAGS, QEMU flags + misc
###############################
override ARCH = @ARCH@
override HYRA_VERSION = @PACKAGE_VERSION@
override PROMPT := printf "%s\t\t%s\n"
-override KERNEL_DEFINES = -DHYRA_VERSION="\"$(HYRA_VERSION)\""\
- -DHYRA_BUILDDATE="\"@HYRA_BUILDDATE@\""\
- -DHYRA_BUILDBRANCH="\"@HYRA_BUILDBRANCH@\""\
- -DHYRA_ARCH="\"@ARCH@\""\
- $(SPECTRE_FLAGS)\
- $(SERIAL_DEBUG_FLAGS)
override KERNEL_CFLAGS = @KERNEL_CFLAGS@ $(KERNEL_DEFINES)
override KERNEL_LDFLAGS = -nostdlib -znoexecstack -zmax-page-size=0x1000 -static -Tconf/link-$(ARCH).ld
override QEMU_FLAGS = @QEMU_FLAGS@
+override KERNEL_DEFINES = $ -DHYRA_VERSION="\"$(HYRA_VERSION)\""\
+ -DHYRA_BUILDDATE="\"@HYRA_BUILDDATE@\""\
+ -DHYRA_BUILDBRANCH="\"@HYRA_BUILDBRANCH@\""\
+ -DHYRA_ARCH="\"@ARCH@\"" $(shell cat sys/arch/$(ARCH)/conf/GENERIC | tools/kconf/kconf)
######################
# Binutils stuff
diff --git a/bootstrap b/bootstrap
index 72b1647..afaa375 100755
--- a/bootstrap
+++ b/bootstrap
@@ -22,8 +22,13 @@ build_limine() {
make -C stand/limine/
}
+build_kconf() {
+ make -C tools/kconf/
+}
+
build() {
build_limine
+ build_kconf
}
echo "----------------------------------"
diff --git a/configure.ac b/configure.ac
index afe3e34..ec44f8c 100644
--- a/configure.ac
+++ b/configure.ac
@@ -16,29 +16,6 @@ QEMU_FLAGS_X86_64="--enable-kvm -monitor stdio \\
HYRA_BUILDDATE=`export LANG=en_US.UTF-8 ; date`
HYRA_BUILDBRANCH="`basename $PWD`"
-# Enable Spectre mitigation option
-AC_ARG_ENABLE([spectre-mitigation],
- [AS_HELP_STRING([--enable-spectre-mitigation], [Enable Spectre mitigation (IBRS or similar)])],,
- [enable_spectre_mitigation=$enableval])
-
-# Enable serial debug
-AC_ARG_ENABLE([serial-debug],
- [AS_HELP_STRING([--enable-serial-debug], [Allow serial debugging])],,
- [enable_serial_debug=$enableval])
-
-
-if test "x$enable_spectre_mitigation" = "xyes"; then
- AC_SUBST(SPECTRE_MITIGATION, [1])
-else
- AC_SUBST(SPECTRE_MITIGATION, [0])
-fi
-
-if test "x$enable_serial_debug" = "xyes"; then
- AC_SUBST(SERIAL_DEBUG, [1])
-else
- AC_SUBST(SERIAL_DEBUG, [0])
-fi
-
AC_SUBST(HYRA_BUILDDATE, [$HYRA_BUILDDATE])
AC_SUBST(HYRA_BUILDBRANCH, [$HYRA_BUILDBRANCH])
diff --git a/sys/arch/amd64/conf/GENERIC b/sys/arch/amd64/conf/GENERIC
new file mode 100644
index 0000000..0baff12
--- /dev/null
+++ b/sys/arch/amd64/conf/GENERIC
@@ -0,0 +1,7 @@
+// Kernel options
+option SPECTRE_MITIGATION no
+option SERIAL_DEBUG yes
+option PANIC_BEEP yes
+
+// Kernel constants
+setval PANIC_BEEP_HZ 1050
diff --git a/tools/kconf/.gitignore b/tools/kconf/.gitignore
new file mode 100644
index 0000000..ccb5c4c
--- /dev/null
+++ b/tools/kconf/.gitignore
@@ -0,0 +1,3 @@
+*.tab.c
+*.tab.h
+*.yy.c
diff --git a/tools/kconf/Makefile b/tools/kconf/Makefile
new file mode 100644
index 0000000..c6df7ee
--- /dev/null
+++ b/tools/kconf/Makefile
@@ -0,0 +1,9 @@
+kconf:
+ bison -d grammer.y
+ flex scan.l
+ gcc lex.yy.c grammer.tab.c -lfl -o kconf
+
+clean:
+ rm grammer.tab.*
+ rm lex.yy.c
+ rm kconf
diff --git a/tools/kconf/build b/tools/kconf/build
new file mode 100755
index 0000000..7544eac
--- /dev/null
+++ b/tools/kconf/build
@@ -0,0 +1,5 @@
+#!/bin/bash
+
+bison -d grammer.y
+flex scan.l
+gcc lex.yy.c grammer.tab.c -lfl -o kconf
diff --git a/tools/kconf/grammer.y b/tools/kconf/grammer.y
new file mode 100644
index 0000000..2f131fc
--- /dev/null
+++ b/tools/kconf/grammer.y
@@ -0,0 +1,86 @@
+/*
+ * Copyright (c) 2023-2024 Ian Marco Moffett and the Osmora Team.
+ * All rights reserved.
+ *
+ * Redistribution and use in source and binary forms, with or without
+ * modification, are permitted provided that the following conditions are met:
+ *
+ * 1. Redistributions of source code must retain the above copyright notice,
+ * this list of conditions and the following disclaimer.
+ * 2. Redistributions in binary form must reproduce the above copyright
+ * notice, this list of conditions and the following disclaimer in the
+ * documentation and/or other materials provided with the distribution.
+ * 3. Neither the name of Hyra nor the names of its
+ * contributors may be used to endorse or promote products derived from
+ * this software without specific prior written permission.
+ *
+ * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
+ * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
+ * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
+ * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE
+ * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
+ * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
+ * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
+ * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
+ * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
+ * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
+ * POSSIBILITY OF SUCH DAMAGE.
+ */
+
+%{
+#include <stdio.h>
+#include <stdlib.h>
+
+int yylex();
+int yyerror(char *s);
+%}
+
+%union {
+ char *str;
+ int num;
+}
+
+%token OPTION SETVAL
+%token <str> IDENTIFIER
+%token YES NO
+%token NUMBER STRING
+
+%type <str> str STRING
+%type <num> yes_or_no YES NO
+%type <num> num NUMBER
+
+%%
+
+input:
+ | line input
+ ;
+
+line: OPTION IDENTIFIER yes_or_no {
+ printf("-D__%s=%d ", $2, $3);
+ free($2);
+ }
+ | SETVAL IDENTIFIER num {
+ printf("-D__%s=%d " , $2, $3);
+ free($2);
+ }
+ | SETVAL IDENTIFIER str {
+ printf("-D__%s=%s ", $2, $3);
+ free($2);
+ free($3);
+ }
+
+yes_or_no: YES { $$ = 1; }
+ | NO { $$ = 0; }
+ ;
+
+num: NUMBER { $$ = $1; }
+str: STRING { $$ = $1; }
+
+%%
+
+int
+main(void)
+{
+ yyparse();
+ printf("\n");
+}
diff --git a/tools/kconf/kconf b/tools/kconf/kconf
new file mode 100755
index 0000000..1c50c3a
--- /dev/null
+++ b/tools/kconf/kconf
Binary files differ
diff --git a/tools/kconf/scan.l b/tools/kconf/scan.l
new file mode 100644
index 0000000..e416241
--- /dev/null
+++ b/tools/kconf/scan.l
@@ -0,0 +1,60 @@
+/*
+ * Copyright (c) 2023-2024 Ian Marco Moffett and the Osmora Team.
+ * All rights reserved.
+ *
+ * Redistribution and use in source and binary forms, with or without
+ * modification, are permitted provided that the following conditions are met:
+ *
+ * 1. Redistributions of source code must retain the above copyright notice,
+ * this list of conditions and the following disclaimer.
+ * 2. Redistributions in binary form must reproduce the above copyright
+ * notice, this list of conditions and the following disclaimer in the
+ * documentation and/or other materials provided with the distribution.
+ * 3. Neither the name of Hyra nor the names of its
+ * contributors may be used to endorse or promote products derived from
+ * this software without specific prior written permission.
+ *
+ * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
+ * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
+ * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
+ * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE
+ * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
+ * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
+ * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
+ * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
+ * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
+ * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
+ * POSSIBILITY OF SUCH DAMAGE.
+ */
+
+%{
+ #include <stdio.h>
+ #include <stdlib.h>
+ #include "grammer.tab.h"
+
+ int yyerror(char *e);
+%}
+
+%%
+
+"option" { return OPTION; }
+"setval" { return SETVAL; }
+"yes" { return YES; }
+"no" { return NO; }
+\"([^\"])*\" { yylval.str = strdup(yytext); return STRING; }
+[a-zA-Z_][a-zA-Z0-9_]+ { yylval.str = strdup(yytext); return IDENTIFIER; }
+[0-9]+ { yylval.num = atoi(yytext); return NUMBER; }
+[ \t] { /* Ignore */ }
+[\/\/.*] { /* Ignore */ }
+\n { /* IGnore */ }
+"//".* { /* Ignore */ }
+. { /* Ignore */ }
+
+%%
+
+int
+yyerror(char *e)
+{
+ printf("\n** kconf: %s **", e);
+ return 0;
+}