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