feat(kao): add support for bao kao testing framework

Signed-off-by: Daniel Oliveira <drawnpoetry@gmail.com>
Signed-off-by: Diogo Costa <diogoandreveigacosta@gmail.com>
Signed-off-by: Miguel Silva <miguelafsilva5@gmail.com>

Author: danielRep

.github/workflows/test-bkao.yaml

@@ -0,0 +1,41 @@
+name: Bao Kao Testing Framework
+
+on:
+  push:
+    branches: [ main ]
+  pull_request:
+  workflow_dispatch:
+
+
+jobs:
+
+  run-tests:
+    runs-on: ubuntu-latest
+    container:
+      image: baoproject/bao:latest
+      options: --user root
+    strategy:
+      matrix:
+        platform: [
+          "qemu-aarch64-virt",
+          "qemu-riscv64-virt",
+          "fvp-a",
+          "fvp-r"
+        ]
+    steps:
+      - uses: actions/checkout@v4
+        with:
+          submodules: recursive
+
+      - name: Mark workspace as safe for Git
+        run: git config --global --add safe.directory $GITHUB_WORKSPACE
+
+      - name: Checkout private benchmarks submodule
+        env:
+          TOKEN: ${{ secrets.BENCHMARKS_TOKEN }}
+        run: |
+          git config --global url."https://x-access-token:${TOKEN}@github.com/".insteadOf "git@github.com:"
+          git submodule update --init tests/benchs
+
+      - name: Run bao kao tests
+        run: make tests PLATFORM=${{ matrix.platform }}

.gitignore

@@ -1,5 +1,6 @@
 bin/*
 build/*
+**/wrkdir/
 *.o
 *.elf
 *.bin

.gitmodules

@@ -1,3 +1,10 @@
 [submodule "ci"]
 	path = ci
 	url = git@github.com:bao-project/bao-ci.git
+[submodule "tests/kao"]
+	path = tests/kao
+	url = git@github.com:bao-project/bao-kao.git
+[submodule "tests/benchs"]
+	path = tests/benchs
+	url = git@github.com:osyxtechnologies/bao-benchmarks.git
+	update = none

Makefile

@@ -68,6 +68,8 @@ configs_dir=$(cur_dir)/configs
 CONFIG_REPO?=$(configs_dir)
 scripts_dir:=$(cur_dir)/scripts
 ci_dir:=$(cur_dir)/ci
+tests_dir:=$(cur_dir)/tests
+kao_dir:=$(tests_dir)/kao/src
 src_dirs:=
 
 -include $(ci_dir)/ci.mk
@@ -76,7 +78,7 @@ targets:=$(MAKECMDGOALS)
 ifeq ($(targets),)
 targets:=all
 endif
-non_build_targets+=ci clean
+non_build_targets+=ci clean tests benchs
 build_targets:=$(strip $(foreach target, $(targets), \
 	$(if $(findstring $(target),$(non_build_targets)),,$(target))))
 
@@ -437,3 +439,17 @@ $(call ci, format, $(all_c_files))
 ci: license-check format-check
 
 endif
+
+-include $(tests_dir)/tests.mk
+
+.PHONY: tests
+
+tests:
+	@echo "Running bao-kao tests for $(PLATFORM)..."
+	@python3 $(kao_dir)/kao.py -t -p $(PLATFORM)
+
+.PHONY: benchs
+
+benchs:
+	@echo "Running bao-kao benchmarks for $(PLATFORM)..."
+	@python3 $(kao_dir)/kao.py -b -p $(PLATFORM)

tests/benchs

@@ -0,0 +1,28 @@
+# Bao Hypervisor VM Configuration
+# This YAML describes the fields needed to generate a C config file (config.c)
+
+vms:
+  - vm1:
+    name: "baremetal"
+    build_options: ""
+    config:
+      image:
+        base_addr: 0x90000000
+      entry: 0x90000000
+      platform:
+        cpu_num: 4
+        regions:
+          - base: 0x90000000
+            size: 0x4000000
+        devs:
+          - pa: 0x1c090000
+            va: 0x1c090000
+            size: 0x10000
+            interrupts:
+              - 37
+          - interrupts:
+              - 27
+        arch:
+          gic:
+            gicd_addr: 0x2F000000
+            gicr_addr: 0x2F100000

tests/kao

@@ -0,0 +1,30 @@
+# Bao Hypervisor VM Configuration
+# This YAML describes the fields needed to generate a C config file (config.c)
+
+vms:
+  - vm1:
+    name: "baremetal"
+    build_options: "MEM_BASE=0x10000000"
+    config:
+      image:
+        load_addr: 0x10000000
+        phys_addr: 0x10000000
+        size: 102400
+      entry: 0x10000000
+      platform:
+        cpu_num: 4
+        regions:
+          - base: 0x10000000
+            size: 0x4000000
+        devs:
+          - pa: 0x9c0A0000
+            va: 0x9c0A0000
+            size: 0x10000
+            interrupts:
+              - 38
+          - interrupts:
+              - 27
+        arch:
+          gic:
+            gicd_addr: 0xAF000000
+            gicr_addr: 0xAF100000

tests/tests/configs/baremetal/fvp-a.yaml

@@ -0,0 +1,30 @@
+
+
+# Bao Hypervisor VM Configuration
+# This YAML describes the fields needed to generate a C config file (config.c)
+
+vms:
+  - vm1:
+    name: "baremetal"
+    build_options:
+    config:
+      image:
+        base_addr: 0x50000000
+      entry: 0x50000000
+      platform:
+        cpu_num: 4
+        regions:
+          - base: 0x50000000
+            size: 0x4000000
+        devs:
+          - pa: 0x9000000
+            va: 0x9000000
+            size: 0x10000
+            interrupts:
+              - 33
+          - interrupts:
+              - 27
+        arch:
+          gic:
+            gicd_addr: 0x08000000
+            gicr_addr: 0x080A0000

tests/tests/configs/baremetal/fvp-r.yaml

@@ -0,0 +1,26 @@
+# Bao Hypervisor VM Configuration
+# This YAML describes the fields needed to generate a C config file (config.c)
+
+vms:
+  - vm1:
+    name: "baremetal"
+    build_options:
+    config:
+      image:
+        base_addr: 0x80200000
+      entry: 0x80200000
+      platform:
+        cpu_num: 4
+        regions:
+          - base: 0x80200000
+            size: 0x4000000
+        devs:
+          - pa: 0x10000000
+            va: 0x10000000
+            size: 0x1000
+            interrupts:
+              - 10
+        arch:
+          irqc:
+            plic:
+              base: 0xc000000