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