include/hw/tricore/tricore.h

#ifndef HW_TRICORE_H
#define HW_TRICORE_H

#include "exec/memory.h"
#include "hw/irq.h"

struct tricore_boot_info {
    uint64_t ram_size;
    const char *kernel_filename;
};
#endif