feat(test): add support to single freertos tests

Signed-off-by: Diogo Costa <[email protected]>

Author: Diogo21Costa

tests/recipes/single-freertos/configs/qemu-aarch64-virt.c

@@ -0,0 +1,72 @@
+#include <config.h>
+
+VM_IMAGE(freertos_image, XSTR(BAO_WRKDIR_IMGS/freertos.bin))
+
+struct config config = {
+    
+    CONFIG_HEADER
+
+    .shmemlist_size = 1,
+    .shmemlist = (struct shmem[]) {
+        [0] = { .size = 0x00010000, }
+    },
+
+    .vmlist_size = 1,
+    .vmlist = (struct vm_config[]) {
+    { 
+            .image = {
+                .base_addr = 0x0,
+                .load_addr = VM_IMAGE_OFFSET(freertos_image),
+                .size = VM_IMAGE_SIZE(freertos_image)
+            },
+
+            .entry = 0x0,
+
+            .platform = {
+                .cpu_num = 1,
+                
+                .region_num = 1,
+                .regions =  (struct vm_mem_region[]) {
+                    {
+                        .base = 0x0,
+                        .size = 0x8000000 
+                    }
+                },
+
+                .ipc_num = 1,
+                .ipcs = (struct ipc[]) {
+                    {
+                        .base = 0x70000000,
+                        .size = 0x00010000,
+                        .shmem_id = 0,
+                        .interrupt_num = 1,
+                        .interrupts = (irqid_t[]) {52}
+                    }
+                },
+
+                .dev_num = 2,
+                .devs =  (struct vm_dev_region[]) {
+                    {   
+                        /* PL011 */
+                        .pa = 0x9000000,
+                        .va = 0xff000000,
+                        .size = 0x10000, 
+                        .interrupt_num = 1,
+                        .interrupts = (irqid_t[]) {33}                         
+                    },
+                    {   
+                        .interrupt_num = 1,
+                        .interrupts = (irqid_t[]) {27}                         
+                    }
+               },
+
+                .arch = {
+                    .gic = {
+                        .gicd_addr = 0xf9010000,
+                        .gicr_addr = 0xf9020000,
+                    }
+                }
+            },
+        },
+    },
+};

tests/recipes/single-freertos/configs/qemu-riscv64-virt.c

@@ -0,0 +1,52 @@
+#include <config.h>
+
+VM_IMAGE(baremetal_image, XSTR(BAO_WRKDIR_IMGS/freertos.bin))
+
+struct config config  = {
+    
+    CONFIG_HEADER
+
+    .vmlist_size = 1,
+    .vmlist = (struct vm_config[]) {
+        { 
+            .image = {
+                .base_addr = 0x80200000,
+                .load_addr = VM_IMAGE_OFFSET(baremetal_image),
+                .size = VM_IMAGE_SIZE(baremetal_image)
+            },
+
+            .entry = 0x80200000,
+
+            .platform = {
+                .cpu_num = 4,
+                
+                .region_num = 1,
+                .regions =  (struct vm_mem_region[]) {
+                    {
+                        .base = 0x80200000,
+                        .size = 0x4000000
+                    }
+                },
+
+                .dev_num = 1,
+                .devs =  (struct vm_dev_region[]) {
+                    {
+                        .pa = 0x10000000,   
+                        .va = 0x10000000,  
+                        .size = 0x1000, 
+                        .interrupt_num = 1,
+                        .interrupts = (irqid_t[]) {10}
+                    },
+                },
+
+                .arch = {
+                   .irqc = {
+                        .plic = {
+                            .base = 0xc000000,
+                        },
+                   },
+                },
+            },
+        },
+     }
+};

tests/recipes/single-freertos/default.nix

@@ -0,0 +1,71 @@
+{
+  pkgs ? import (fetchTarball {
+    url = "https://github.com/NixOS/nixpkgs/archive/refs/tags/22.11.tar.gz";
+    sha256 = "sha256:11w3wn2yjhaa5pv20gbfbirvjq6i3m7pqrq2msf0g7cv44vijwgw";
+  }) {},
+  platform ? " ",
+  bao_cfg_repo ? " ",
+  bao_cfg ? " ",
+  list_tests ? " ",
+  list_suites ? " ",
+  log_level ? " ",
+  GIC_VERSION ? " ",
+  IRQC ? " ",
+  IPIC ? " ",
+}:
+
+with pkgs;
+
+let
+  packages = rec {
+
+    setup-cfg  = callPackage ../../bao-nix/pkgs/setup-cfg/setup-cfg.nix{
+      inherit platform;
+      inherit GIC_VERSION;
+      inherit IRQC;
+      inherit IPIC;
+      bao-tests = ../../bao-tests;
+      tests_srcs = ./src;
+      baremetal_patch = ./baremetal.patch;
+    };
+
+    #Build toolchain
+    toolchain = callPackage ../../bao-nix/pkgs/toolchains/${setup-cfg.toolchain_name}.nix{};
+
+    #Build guests
+    guests = [
+          (callPackage (../../bao-nix/pkgs/guest/tf/freertos.nix)
+                  { 
+                    inherit setup-cfg;
+                    inherit toolchain;
+                    guest_name = "freertos";
+                    list_tests = "";
+                    list_suites = "CPU_BOOT_CHECK IRQ_CHECK";
+                    inherit log_level;                     
+                  }
+          )
+      ];
+
+    bao_cfg_repo = ./configs;
+   
+    #Build Hypervisor
+    bao = callPackage ../../bao-nix/pkgs/bao/bao.nix 
+    { 
+      inherit setup-cfg;
+      inherit toolchain;
+      inherit bao_cfg_repo;
+      inherit bao_cfg;
+      inherit guests; 
+      #bao_srcs_path = /home/mafs/bao-hypervisor;
+    };
+
+    # Build Firmware
+    firmware = callPackage ../../bao-nix/pkgs/firmware/${platform}.nix {
+      inherit toolchain;
+      inherit platform;
+      inherit setup-cfg;
+    };
+    inherit pkgs;
+  };
+in
+  packages

tests/recipes/single-freertos/src/boot.c

@@ -0,0 +1,7 @@
+#include "testf.h"
+
+BAO_TEST(CPU_BOOT_CHECK,BOOT)
+{
+    TESTF_PASS("System booted successfully!\n");
+}
+

tests/recipes/single-freertos/src/irq.c

@@ -0,0 +1,64 @@
+#include "testf.h"
+// #include <plat.h>
+// #include <irq.h>
+// #include <timer.h>
+// #include <uart.h>
+// #include <core.h>
+#include <core.h>
+#include <stdlib.h>
+#include <stdio.h>
+#include <string.h> 
+#include <cpu.h>
+#include <wfi.h>
+#include <spinlock.h>
+#include <plat.h>
+#include <irq.h>
+#include <uart.h>
+#include <timer.h>
+
+void test_interrupt_timer_callback();
+void uart_rx_handler();
+
+
+volatile bool irq_en_timer = false;
+volatile bool irq_en_uart = false;
+
+#define TIMER_INTERVAL  (TIME_MS(10))
+#define TEST_TIME_WAIT  (TIME_MS(100))
+#define TEST_TIMEOUT    "200"
+
+BAO_TEST(IRQ_CHECK, TIMER)
+{
+    COMMAND_SEND_TIMEOUT(TEST_TIMEOUT);
+
+    irq_set_handler(TIMER_IRQ_ID, test_interrupt_timer_callback);
+    timer_set(TIMER_INTERVAL);
+    irq_enable(TIMER_IRQ_ID);
+    irq_set_prio(TIMER_IRQ_ID, IRQ_MAX_PRIO);
+    while(!irq_en_timer);
+    EXPECTED_TRUE(irq_en_timer);
+}
+
+BAO_TEST(IRQ_CHECK, UART)
+{
+    COMMAND_SEND_TIMEOUT(TEST_TIMEOUT);
+
+    uart_enable_rxirq();
+    irq_set_handler(UART_IRQ_ID, uart_rx_handler);
+    irq_set_prio(UART_IRQ_ID, IRQ_MAX_PRIO);
+    irq_enable(UART_IRQ_ID);
+    COMMAND_SEND_CHAR("a");
+    while(!irq_en_uart);
+    EXPECTED_TRUE(irq_en_uart);
+}
+
+void test_interrupt_timer_callback()
+{
+    irq_en_timer = true;
+    timer_set(TIMER_INTERVAL);
+}
+
+void uart_rx_handler(){
+    uart_clear_rxirq();
+    irq_en_uart = true;
+}