/* -------------------------------------------

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

  File: HalTimer.cc
  Purpose: HAL timer

  Revision History:

  07/07/24: Added file (amlel)

------------------------------------------- */

#include <ArchKit/ArchKit.h>
#include <KernelKit/Timer.h>