Re: l4linux booting problem

Hi, just a guess... On Tue, Jul 22, 2008 at 09:13:03AM +0800, fei li wrote:

*loader | File provider "BOMDFS" not found ^^^^^^ Ist this a typo and should read "BMODFS" ?

Ciao -- Christian Helmuth