Thanks. I'll try that.

On Nov 11, 2014 6:14 AM, "Christian Prochaska" <christian.prochaska@...1...> wrote:
Hello Ben,

On 11/10/2014 04:44 AM, Nobody III wrote:
> I have a serial cable and have connected two computers with it, but I
> haven't been able to figure out how to obtain Genode's boot output. I am
> currently using the fiasco kernel but I will probably later use fiasco.oc
> and possibly nova. I heard something about telling the kernel which port to
> use for the serial output. What do I need to do to look at Genode's boot
> output over serial?

personally, I'm using the 'picocom' program on Linux like this:

picocom -b 115200 /dev/ttyS0

If your serial cable is a USB-to-serial one, the device would probably
be /dev/ttyUSB0 instead. Depending on your Linux distribution it might
also be necessary to add your username to a group which allows access to
the serial device or to run the program as super user.

Christian


------------------------------------------------------------------------------
Comprehensive Server Monitoring with Site24x7.
Monitor 10 servers for $9/Month.
Get alerted through email, SMS, voice calls or mobile push notifications.
Take corrective actions from your mobile device.
http://pubads.g.doubleclick.net/gampad/clk?id=154624111&iu=/4140/ostg.clktrk
_______________________________________________
genode-main mailing list
genode-main@...12...ceforge.net
https://lists.sourceforge.net/lists/listinfo/genode-main