#include "support/minimig/minimig_config.h"
#include "support/minimig/minimig_boot.h"
#include "support/minimig/minimig_fdd.h"
#include "support/minimig/minimig_hdd.h"