#include "kapi/cpu.hpp"

#include "kernel/test_support/cpu.hpp"

#include <catch2/catch_test_macros.hpp>

SCENARIO("Kernel testing kapi::cpu shims", "[support]")
{
  GIVEN("the test support infrastructure is initialized")
  {
    WHEN("a CPU halt is requested")
    {
      THEN("the correct exception is thrown")
      {
        REQUIRE_THROWS_AS(kapi::cpu::halt(), kernel::tests::cpu::halt);
      }
    }
  }
}