src/include/hw/tricore/tricore.h


1
2
3
4
5
6
7
8
9
10
11

#ifndef TRICORE_MISC_H
#define TRICORE_MISC_H 1

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

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