/* ========================================

  Copyright (C) 2024-2025, Amlal El Mahrouss, licensed under the Apache 2.0 license.

======================================== */

#include <BootKit/BootKit.h>
#include <BootKit/Platform.h>
#include <BootKit/Protocol.h>

#ifdef __BOOTZ_STANDALONE__

using namespace Boot;

EXTERN_C void rt_halt() {
  asm volatile("hlt");
}

EXTERN_C void rt_cli() {
  asm volatile("cli");
}

EXTERN_C void rt_sti() {
  asm volatile("sti");
}

EXTERN_C void rt_cld() {
  asm volatile("cld");
}

EXTERN_C void rt_std() {
  asm volatile("std");
}

#endif  // __BOOTZ_STANDALONE__