Christian Helmuth christian.helmuth at ...1...
Wed Jun 4 09:06:27 CEST 2014

Just a short note,

On Tue, Jun 03, 2014 at 02:23:29PM +0530, Mahe Mohan wrote:
> We tried to build genode on base hardware with target as imx31. First we
> created a build directory using ./tool/create_builddir hw_imx31
> BUILD_DIR=build.imx. Then we tested the directory using the make
> run/nested_init .It was compiled and successfully built but qemu emulator
> was not generated. Can anyone helpout this and say the proper steps to open
> with qemu.

Are you sure you address i.MX31? To my knowledge Qemu does not include
a proper machine model for i.MX31 (or any other Freescale ARM
platform). It would be better to do first steps with Genode on ARM
using hw_pbxa9 because this is supported by Qemu.

To check just try

  me at ...246...> qemu -version
  QEMU emulator version 1.5.3, Copyright (c) 2003-2008 Fabrice Bellard
  me at ...246...> qemu-system-arm -M ?
  none                 empty machine
  collie               Collie PDA (SA-1110)
  nuri                 Samsung NURI board (Exynos4210)
  smdkc210             Samsung SMDKC210 board (Exynos4210)
  connex               Gumstix Connex (PXA255)
  verdex               Gumstix Verdex (PXA270)
  highbank             Calxeda Highbank (ECX-1000)
  integratorcp         ARM Integrator/CP (ARM926EJ-S) (default)
  kzm                  ARM KZM Emulation Baseboard (ARM1136)
  mainstone            Mainstone II (PXA27x)
  musicpal             Marvell 88w8618 / MusicPal (ARM926EJ-S)
  n800                 Nokia N800 tablet aka. RX-34 (OMAP2420)
  n810                 Nokia N810 tablet aka. RX-44 (OMAP2420)
  sx1                  Siemens SX1 (OMAP310) V2
  sx1-v1               Siemens SX1 (OMAP310) V1
  cheetah              Palm Tungsten|E aka. Cheetah PDA (OMAP310)
  realview-eb          ARM RealView Emulation Baseboard (ARM926EJ-S)
  realview-eb-mpcore   ARM RealView Emulation Baseboard (ARM11MPCore)
  realview-pb-a8       ARM RealView Platform Baseboard for Cortex-A8
  realview-pbx-a9      ARM RealView Platform Baseboard Explore for
  akita                Akita PDA (PXA270)
  spitz                Spitz PDA (PXA270)
  borzoi               Borzoi PDA (PXA270)
  terrier              Terrier PDA (PXA270)
  lm3s811evb           Stellaris LM3S811EVB
  lm3s6965evb          Stellaris LM3S6965EVB
  tosa                 Tosa PDA (PXA255)
  versatilepb          ARM Versatile/PB (ARM926EJ-S)
  versatileab          ARM Versatile/AB (ARM926EJ-S)
  vexpress-a9          ARM Versatile Express for Cortex-A9
  vexpress-a15         ARM Versatile Express for Cortex-A15
  xilinx-zynq-a9       Xilinx Zynq Platform Baseboard for Cortex-A9
  z2                   Zipit Z2 (PXA27x)

Christian Helmuth
Genode Labs · · /ˈdʒiː.nəʊd/

Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

More information about the users mailing list