Query : Machine Type, Kernel_offset

Stefan Kalkowski stefan.kalkowski at ...1...
Thu Nov 27 09:27:18 CET 2014


On 11/25/2014 06:04 AM, Franc sylvester wrote:
> Hi all,
> I saw some variable set in..

Warning: I don't think you'll get the outcome you apparently hope for by
setting different values to the variables below. I assume you try to
enable the TrustZone Demo for a different board? I fear there is much
more to do than just changing these values especially if your board is
not related to a i.MX53 SoC.

> genode/repos/os/src/server/tz_vmm/imx53/
> enum {
> KERNEL_OFFSET    = 0x8000,
> MACH_TYPE_QSB    = 3273,
> BOARD_REV_TABLET = 0x53321,
> };

The first value is just the Linux kernel's offset from the beginning of
RAM. It is just a convention. The virtual machine monitor in our example
loads the Linux kernel to that offset.
The MACH types are Linux specific ARM board values used by the
bootloader, which is in our case the VMM, to provide the machine type to
the Linux kernel, have a look at:


> static const char* cmdline_tablet = "console=ttymxc0,115200";

This is the Linux kernel command line used to tell Linux it shall
provide a kernel console using the UART device.

> I want to set these variable for my board. where should i get these value ??

Well, that depends on your board. You might use above references to
start your investigations.


> Thanks
> Franc
> ------------------------------------------------------------------------------
> Download BIRT iHub F-Type - The Free Enterprise-Grade BIRT Server
> from Actuate! Instantly Supercharge Your Business Reports and Dashboards
> with Interactivity, Sharing, Native Excel Exports, App Integration & more
> Get technology previously reserved for billion-dollar corporations, FREE
> http://pubads.g.doubleclick.net/gampad/clk?id=157005751&iu=/4140/ostg.clktrk
> _______________________________________________
> genode-main mailing list
> genode-main at lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/genode-main

Stefan Kalkowski
Genode Labs

http://www.genode-labs.com/ ยท http://genode.org/

More information about the users mailing list