Query : Machine Type, Kernel_offset

[Franc sylvester]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.genode.org/pipermail/users/attachments/20141125/58a8807d/attachment.html>