genode

[Christian Helmuth]

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
  Cortex-A9
  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)

Regards
-- 
Christian Helmuth
Genode Labs

http://www.genode-labs.com/ · http://genode.org/
https://twitter.com/GenodeLabs · /ˈdʒiː.nəʊd/

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