/// \file hardware.h
/// Functions and definitions for detecting and dealing with hardware
#pragma once

#include <uefi/tables.h>

namespace boot {
namespace hw {

/// Find the ACPI table in the system configuration tables
/// and return a pointer to it. If only an ACPI 1.0 table is
/// available, the returned pointer will have its least
/// significant bit set to 1.
void * find_acpi_table(uefi::system_table *st);

/// Enable CPU options in CR4 for the kernel starting state.
void setup_cr4();

} // namespace hw
} // namespace boot