#include <kapi/capabilities/facet_id.hpp>
#include <kapi/devices.hpp>

#include <cstdint>
#include <optional>

namespace kapi::devices
{

  auto driver::claimed_major() const -> std::optional<std::uint8_t>
  {
    return std::nullopt;
  }

  auto driver::query_facet(kapi::capabilities::facet_id) -> void *
  {
    return nullptr;
  }

}  // namespace kapi::devices