#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