// Copyright 2022 Google LLC.
// Copyright lowRISC contributors.
// Licensed under the Apache License, Version 2.0, see LICENSE for details.
// SPDX-License-Identifier: Apache-2.0
//
// Simple SMC program to put SMC core into wfi.

// Need to include stdbool.h before ottf_test_config.h
#include <stdbool.h>

#include "sw/device/lib/testing/test_framework/ottf_test_config.h"

OTTF_DEFINE_TEST_CONFIG();

void _ottf_main(void) {
  // Just put SMC into wfi.
  asm volatile("wfi");
}