Hi all,
I saw some variable set in..
genode/repos/os/src/server/tz_vmm/imx53/
enum { KERNEL_OFFSET = 0x8000, MACH_TYPE_TABLET = 3011, MACH_TYPE_QSB = 3273, BOARD_REV_TABLET = 0x53321, };
static const char* cmdline_tablet = "console=ttymxc0,115200";
I want to set these variable for my board. where should i get these value ??
Thanks Franc