solved: no GRUB boot with NOVA

[g***@novadsp.com]

Solved. Now booting lighttpd on an N3150 board.

DD'ing the lighttpd .iso image to a USB drive is odd too. On both machines

I get dumped into the grub shell.

For anyone else with the same problem:
https://github.com/genodelabs/genode/blob/master/doc/release_notes-14-08.txt
#L1105

BTW A serial connection is IMO absolutely critical for real hardware work.

Jerry.

[Norman Feske]

Hi Jerry,

Post by g***@novadsp.com
Solved. Now booting lighttpd on an N3150 board.

great!

Post by g***@novadsp.com

DD'ing the lighttpd .iso image to a USB drive is odd too. On both machines

I get dumped into the grub shell.
https://github.com/genodelabs/genode/blob/master/doc/release_notes-14-08.txt
#L1105

The ISO image should also work. We use this method regularly and rarely
have any issues. Maybe something went wrong with dumping the ISO image
to the USB device? When using 'dd', one has to make sure that all blocks
are actually written to disk before unplugging the USB device because
the Linux kernel may keep blocks in the block cache, even after 'dd'
exits. It is usually the best to specify 'oflag=direct' to the 'dd' command.

Post by g***@novadsp.com
BTW A serial connection is IMO absolutely critical for real hardware work.

Definitely!

You may use a PC-card with a comport, which should work out of the box
thanks to the "bender" chain-boot loader that we use by default.
Alternatively, Intel AMT's SOL (serial-over-line) is quite handy. The
latter is supported by Genode's run tool. You may find Section 5.4.
"System integration and automated testing" of the documentation [1]
helpful for using this approach, in particular the example given at page
147.

[1] http://genode.org/documentation/genode-foundations-16-05.pdf

Cheers
Norman

[g***@novadsp.com]

Hello Norman

Post by Norman Feske
great!

Indeed. I have nearly got the services I want to run. More questions to
follow :)

Post by Norman Feske
The ISO image should also work. We use this method regularly and rarely
have any issues. Maybe something went wrong with dumping the ISO image
to the USB device?

Yes, I am pretty familiar with the spells required here which is why I am so
keen on PXE booting.

FWIW, from 'history' here's the stanza:

2176 lsblk
2177 sudo dd if=build.nova/var/run/lighttpd.iso of=/dev/sdb bs=1M
2178 sync
2179 sudo eject /dev/sdb

Post by Norman Feske
You may use a PC-card with a comport

The N3150 board has an old skool RS232 header on it. Very handy.

Post by Norman Feske
Alternatively, Intel AMT's SOL (serial-over-line) is quite handy. The

latter is

Post by Norman Feske
supported by Genode's run tool. You may find Section 5.4.
"System integration and automated testing" of the documentation [1]
helpful for using this approach, in particular the example given at page

147.

Thanks. I must find out more about this..

BR

Jerry.

P.S. Once I've managed to assemble the topology I need I will push a PR to
Github (if that is the best means of getting another demo/tutorial into the
stack).