diff options
author | Luca Dariz <luca@orpolo.org> | 2024-01-11 22:08:57 +0100 |
---|---|---|
committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2024-01-13 22:42:53 +0100 |
commit | e813641e2fef0fba5a2de9e5a44fd00ab95a86d0 (patch) | |
tree | c617b8841d38d7aa74f4fccd353b81bab83df11f /tests/run-qemu.sh.template | |
parent | 7538b56278a95d87b9a4ddec01e5679376cc5b13 (diff) | |
download | gnumach-e813641e2fef0fba5a2de9e5a44fd00ab95a86d0.tar.gz gnumach-e813641e2fef0fba5a2de9e5a44fd00ab95a86d0.tar.bz2 gnumach-e813641e2fef0fba5a2de9e5a44fd00ab95a86d0.zip |
add basic user-space tests with qemu
* configure.ac: move test fragment to have USER32
* tests/Makefrag.am: add user tests
* tests/README: add basic info on how to run and debug user tests
* tests/configfrag.ac: allow the test compiler/flags to be
autoconfigured or customized
* tests/grub.cfg.single.template: add minimal grub config to boot a
module
* tests/include/device/cons.h: add a simplified version of
device/cons.h usable for tests
* tests/include/kern/printf.h: symlink to kern/printf.h
* tests/include/mach/mig_support.h: add basic version for user-space
tests
* tests/include/syscalls.h: add prototypes for syscalls used in tests.
* tests/include/testlib.h: add definitions for common test
functionalities
* tests/include/util/atoi.h: symlink to util/atoi.h
* tests/run-qemu.sh.template: add a simple qemu test runner
* tests/start.S: add arch-specific entry point
* tests/syscalls.S: generate syscalls entry points
* tests/test-hello.c: add basic smoke test
* tests/testlib.c: add the minimal functionality to run a user-space
executable and reboot the system, and some test helpers.
* tests/user-qemu.mk: add rules to build simple user-space test
modules, including generating mig stubs. The tests reuse some kernel
code (like printf(), mach_atoi(), mem*(), str*() functions) so we can
use the freestanding environment and not depend on glibc.
Message-ID: <20240111210907.419689-1-luca@orpolo.org>
Diffstat (limited to 'tests/run-qemu.sh.template')
-rw-r--r-- | tests/run-qemu.sh.template | 38 |
1 files changed, 38 insertions, 0 deletions
diff --git a/tests/run-qemu.sh.template b/tests/run-qemu.sh.template new file mode 100644 index 00000000..aba8d68a --- /dev/null +++ b/tests/run-qemu.sh.template @@ -0,0 +1,38 @@ +#!/bin/sh +# Copyright (C) 2024 Free Software Foundation +# +# This program is free software ; you can redistribute it and/or modify +# it under the terms of the GNU General Public License as published by +# the Free Software Foundation ; either version 2 of the License, or +# (at your option) any later version. +# +# This program is distributed in the hope that it will be useful, +# but WITHOUT ANY WARRANTY ; without even the implied warranty of +# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +# GNU General Public License for more details. +# +# You should have received a copy of the GNU General Public License +# along with the program ; if not, write to the Free Software +# Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA. + +set -e + +cmd="QEMU_BIN QEMU_OPTS -cdrom tests/test-TESTNAME.iso" +log="tests/test-TESTNAME.raw" + +echo "temp log $log" +if which QEMU_BIN >/dev/null ; then + if ! timeout -v --foreground --kill-after=3 15s $cmd \ + | tee $log | sed -n "/TEST_START_MARKER/"',$p' ; then + exit 10 # timeout + fi + if grep -qi 'TEST_FAILURE_MARKER' $log; then + exit 99 # error marker found, test explicitely failed + fi + if ! grep -q 'TEST_SUCCESS_MARKER' $log; then + exit 12 # missing reboot marker, maybe the kernel crashed + fi +else + echo "skipping, QEMU_BIN not found" + exit 77 +fi |