Hello Jilong,

This log seems good. These messages aren't critical error, they are warning. In l4linux script qemu must redirect first UART to file, this file contains genode debug log (this log), second UART redirected to console, it's l4linux console. If you use real hardware you need connect two COM-ports to your target, COM0 for genode log and COM1 for l4linux.

-- Ivan Loskutov

2012/12/14 Jilong Kuang <jilong.kuang@...60...>

Hi,

I was trying to run l4linux on Genode following the online tutorials. Compiling was fine. I didnt change any configuration file or script. Everything was in default setting.

I failed to boot up the l4linux using either emulators (QEMU, Virtualbox) or a real machine. It just hangs during the boot process and I observed multiple error messages (quota exceeded, illegal announcement of service " Uart", Cannot determine physical address for dataspace Binary! etc).

I attached the log file of a typical run on a real machine (Intel Core i7) for your reference. I hope someone could spot some problems in it.

Thank you very much!

Best regards, Jilong

---

LogMeIn Rescue: Anywhere, Anytime Remote support for IT. Free Trial Remotely access PCs and mobile devices and provide instant support Improve your efficiency, and focus on delivering more value-add services Discover what IT Professionals Know. Rescue delivers http://p.sf.net/sfu/logmein_12329d2d _______________________________________________ Genode-main mailing list Genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main

Have you tried to connect a monitor, ps/2 mouse and keyboard? You need to add "console=tty1" to l4linux command line. But genode's VESA driver don't work on all hardware. I have tried to run Genode on real hardware and saw display not working on my PC. Monitor has changed resolution and has showed nothing.

-- Ivan Loskutov

2012/12/15 Jilong Kuang <jilong.kuang@...60...>

Hi Ivan,****

---

Thank you for your reply.****

---

Yes, I managed to boot up l4linux in QEMU. However, on real machine, I have no clue why the prompt doesn’t show up (I used the same binary and config file as in QEMU). Since I don’t have double COM-ports right now (all our machines come with only one COM port), I can’t see what’s happening on the l4linux side. As you said, the Genode side log seems right.****

---

Is there anything you could suggest other than putting two COM-ports to find out what went wrong?****

---

Best,****

Jilong****

---

*From:* Ivan Loskutov [mailto:loskutov.ivan@...9...] *Sent:* Thursday, December 13, 2012 8:49 PM *To:* Genode OS Framework Mailing List *Subject:* Re: l4linux booting failure on Genode****

---

Hello Jilong,****

---

This log seems good. These messages aren't critical error, they are warning.****

In l4linux script qemu must redirect first UART to file, this file contains genode debug log (this log), second UART redirected to console, it's l4linux console. If you use real hardware you need connect two COM-ports to your target, COM0 for genode log and COM1 for l4linux.****

---

-- Ivan Loskutov****

---

2012/12/14 Jilong Kuang <jilong.kuang@...60...>****

Hi,

I was trying to run l4linux on Genode following the online tutorials. Compiling was fine. I didnt change any configuration file or script. Everything was in default setting.

I failed to boot up the l4linux using either emulators (QEMU, Virtualbox) or a real machine. It just hangs during the boot process and I observed multiple error messages (quota exceeded, illegal announcement of service " Uart", Cannot determine physical address for dataspace Binary! etc).

I attached the log file of a typical run on a real machine (Intel Core i7) for your reference. I hope someone could spot some problems in it.

Thank you very much!

Best regards, Jilong

---

LogMeIn Rescue: Anywhere, Anytime Remote support for IT. Free Trial Remotely access PCs and mobile devices and provide instant support Improve your efficiency, and focus on delivering more value-add services Discover what IT Professionals Know. Rescue delivers http://p.sf.net/sfu/logmein_12329d2d _______________________________________________ Genode-main mailing list Genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main****

---

---

LogMeIn Rescue: Anywhere, Anytime Remote support for IT. Free Trial Remotely access PCs and mobile devices and provide instant support Improve your efficiency, and focus on delivering more value-add services Discover what IT Professionals Know. Rescue delivers http://p.sf.net/sfu/logmein_12329d2d _______________________________________________ Genode-main mailing list Genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main

Hi Ivan,

I added “console=tty1” to l4linux and now I can see on my monitor the kernel log message from l4linux. So the problem is not with VESA display.

However, l4linux failed to boot up successfully. It didn’t login and I didn’t see command line prompt.

On QEMU, after l4linux outputs “Mount everything” and “Setup networking”, it will directly login (root login on ‘tty1’). On real machine, after printing “Mount everything” and “Setup networking”, it simply stops. And a couple of minutes later it shows other INFO msg such as

INFO: rcu_sched detected stalls on CPUs/tasks: {1} (detected by 0, t=6002 jiffies)

INFO: Stall ended before state dump start

Do you have any idea on this issue? I think I’m very close to get it work on real machine now. Thank you very much.

PS: I disabled network (nic_drive) in both QEMU and real machine. And the following messages are shown in both cases as the last kernel msg printed out.

ifconfig: SIOCGIFFLAGS: No such device

cat: can’t open ‘/etc/issue’: No such file or directory

touch: /var/log/autologin: No such file or directory

Best,

Jilong

From: Ivan Loskutov [mailto:loskutov.ivan@...9...] Sent: Friday, December 14, 2012 10:37 PM To: Genode OS Framework Mailing List Subject: Re: l4linux booting failure on Genode

Have you tried to connect a monitor, ps/2 mouse and keyboard? You need to add "console=tty1" to l4linux command line. But genode's VESA driver don't work on all hardware. I have tried to run Genode on real hardware and saw display not working on my PC. Monitor has changed resolution and has showed nothing.

-- Ivan Loskutov

2012/12/15 Jilong Kuang <jilong.kuang@...60...>

Hi Ivan,

Thank you for your reply.

Yes, I managed to boot up l4linux in QEMU. However, on real machine, I have no clue why the prompt doesn’t show up (I used the same binary and config file as in QEMU). Since I don’t have double COM-ports right now (all our machines come with only one COM port), I can’t see what’s happening on the l4linux side. As you said, the Genode side log seems right.

Is there anything you could suggest other than putting two COM-ports to find out what went wrong?

Best,

Jilong

From: Ivan Loskutov [mailto:loskutov.ivan@...9...] Sent: Thursday, December 13, 2012 8:49 PM To: Genode OS Framework Mailing List Subject: Re: l4linux booting failure on Genode

Hello Jilong,

This log seems good. These messages aren't critical error, they are warning.

In l4linux script qemu must redirect first UART to file, this file contains genode debug log (this log), second UART redirected to console, it's l4linux console. If you use real hardware you need connect two COM-ports to your target, COM0 for genode log and COM1 for l4linux.

-- Ivan Loskutov

2012/12/14 Jilong Kuang <jilong.kuang@...60...>

Hi,

I was trying to run l4linux on Genode following the online tutorials. Compiling was fine. I didnt change any configuration file or script. Everything was in default setting.

I failed to boot up the l4linux using either emulators (QEMU, Virtualbox) or a real machine. It just hangs during the boot process and I observed multiple error messages (quota exceeded, illegal announcement of service " Uart", Cannot determine physical address for dataspace Binary! etc).

I attached the log file of a typical run on a real machine (Intel Core i7) for your reference. I hope someone could spot some problems in it.

Thank you very much!

Best regards, Jilong

------------------------------------------------------------------------------ LogMeIn Rescue: Anywhere, Anytime Remote support for IT. Free Trial Remotely access PCs and mobile devices and provide instant support Improve your efficiency, and focus on delivering more value-add services Discover what IT Professionals Know. Rescue delivers http://p.sf.net/sfu/logmein_12329d2d _______________________________________________ Genode-main mailing list Genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main

------------------------------------------------------------------------------ LogMeIn Rescue: Anywhere, Anytime Remote support for IT. Free Trial Remotely access PCs and mobile devices and provide instant support Improve your efficiency, and focus on delivering more value-add services Discover what IT Professionals Know. Rescue delivers http://p.sf.net/sfu/logmein_12329d2d _______________________________________________ Genode-main mailing list Genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main