Basic ISO Boot to Command Prompt

[Norman Feske]

Hi Chris,

> Ok, so going off these instructions I want to try to reproduce the demo
> ISO that is available for download.  When I use the basic make run/demo,
> this demo scenario runs perfectly fine through qemu on my Linux machine
> and creates a bootable ISO image, however that bootable ISO image does
> NOT act the same way that the pre-compiled demo does - it has no
> framebuffer output, only serial output. How do I compile the demo to
> make a bootable ISO that outputs to the screen with framebuffer?  I
> would have thought that this was what the run/demo does but it does not.

the ISO should indeed produce the same scenario that you see on Qemu.
Could it be that the VESA framebuffer driver fails on your specific
hardware?

Have you tried to boot the ISO on a different machine?

Could you give the scenario a try with a different kernel?

You say that you see log output. I wonder, does it reveal any problem?
Could you post the output here?

With "pre-compiled demo", do you refer to the example that we provide
with the current release notes? You can find the run script for this
specific scenario on the following branch (please review the last few
commits on the branch):

  https://github.com/alex-ab/genode/commits/sel4_screenshot

But since you reported problems with the framebuffer on your real
machine, we should first try to get a simple scenario like
framebuffer.run or demo.run to work.

Cheers
Norman

-- 
Dr.-Ing. Norman Feske
Genode Labs

http://www.genode-labs.com · http://genode.org

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