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