1 #ifndef HW_TRICORE_H 2 #define HW_TRICORE_H 3 4 #include "exec/memory.h" 5 #include "hw/irq.h" 6 7 struct tricore_boot_info { 8 uint64_t ram_size; 9 const char *kernel_filename; 10 }; 11 #endif 12