12 #include "sw/device/lib/testing/pinmux_testutils.h"
13 #include "sw/device/lib/testing/test_framework/check.h"
14 #include "sw/device/lib/testing/test_framework/status.h"
18 static dif_uart_t uart0;
19 static dif_pinmux_t pinmux;
30 CHECK_DIF_OK(dif_pinmux_init(
32 pinmux_testutils_init(&pinmux);
35 CHECK_DIF_OK(dif_uart_init(
37 CHECK(
kUartBaudrate <= UINT32_MAX,
"kUartBaudrate must fit in uint32_t");
39 "kClockFreqPeripheralHz must fit in uint32_t");
54 asm(
"auipc %[pc], 0;" : [pc]
"=r"(pc));
55 LOG_INFO(
"PC: %p, SRAM: [%p, %p)", pc, kSramStart, kSramEnd);
56 CHECK(pc >= kSramStart && pc < kSramEnd,
"PC is outside the main SRAM");
58 test_status_set(kTestStatusPassed);