running Virtualbox on Genode

[Alexander Boettcher]

Hi Vincent,

> The thing that I don't understand are the macros that you use in scripts
> - such as "assert_spec".
> Can you point me to where I can find documentation for the various
> macros which I understand are based on Expect.

in <genode-dir>/tool/run/run the specific Expect procedure is defined.

For a general understanding what Genode spec values are and used for
please read chapter "5.3.4. Platform specifications" of the Genode book
[0].

> Noted. I'll try to explore using Intel AMT to support the serial logging.
> I've acquired a refurbished Lenovo X201, can you advise how I can try to
> emulate what Norman is doing - configuration and run scripts.

Read [1] and follow the traces ;-)
In the referenced github issue all information are available to setup
the scenario.

Cheers,

Alex.

[0] http://genode.org/documentation/genode-foundations-15-05.pdf
[1] http://sourceforge.net/p/genode/mailman/message/34165676/