#include "kapi/system.hpp"

namespace teachos::system
{

  auto halt() -> void
  {
    asm volatile("1: hlt\njmp 1b");
    __builtin_unreachable();
  }

}  // namespace teachos::system