1// SPDX-License-Identifier: GPL-3.0-or-later
2
3#pragma once
4
5#include <libconfig/libconfig.h>
6#include <mos/types.h>
7
8bool start_load_drivers();
9bool try_start_driver(u16 vendor, u16 device, u32 location, u64 mmio_base);
10
11inline Config dm_config;
12