[pok] POK with A653

Hello,

I want to develop my own application in POK/A653.

First of all I'm using the examples given in the POK distribution. I'm trying the execution of "case-study-osadl11". It seems to be OK when compiling and running under POK (see the firstMakefile)

Note: it is the same for many examples given except that some do not ever run (probably error in the .aadl files detected by ocarina)..

BUILD = --models=model.aadl,software.aadl

TESTS = compile-x86 compile-ppc compile-sparc

ifeq ($(NODE), DISTRIBUTED)

BUILD = --models=model-distributed.aadl,software.aadl,rtl8029.aadl,runtime.aadl --no-run

endif

include $(POK_PATH)/misc/mk/examples.mk

But when using the flag arinc653:

BUILD = --models=model.aadl,software.aadl --arinc653

QEMU is starting, I get the QEMU window with following message:

"POK kernel initialized" and nothing more

What is wrong with my POK or QEMU installation ?

Note: I run under a dual boot PC: Windows7/Ubuntu 14.04 under Ubuntu.

Thank you for your help !

Cordialement

Emmanuel Cros

Cordialement

Emmanuel Cros

Ce message et toutes les pièces jointes sont établis à l'intention exclusive de ses destinataires et sont confidentiels. Si vous recevez ce message par erreur, merci de le détruire et d'en avertir immédiatement l'expéditeur.

The information contained in this e-mail and any attachments are intended solely for the addressees. If you have received this email in error, please contact the sender and delete the email from your system.

Diese Nachricht und allfällige angehängte Dokumente sind vertraulich und nur für den/die Adressaten bestimmt. Sollten Sie nicht der beabsichtigte Adressat sein, bitten wir den Absender zu verständigen und die Information zu vernichten.