#ifndef HW_I386_MICROVM_DT_H
#define HW_I386_MICROVM_DT_H

#include "hw/i386/microvm.h"

void dt_setup_microvm(MicrovmMachineState *mms);

#endif