Hi, On Mon Aug 17, 2020 at 22:35:11 -0700, Andreas Steinmetzler wrote: > Hi, > > I'm experimenting with the TuD Snapshot release 2020.07.1 and can compile > and run Fiasco, L4re and L4Linux in their basic configurations (amd64 > architecture) using the default l4lx.cfg file of the distribution. > > As this is not all that useful, I was looking in getting the system use the > available hardware. Based on snippets I found on the internet and the > example config files, I created the following cfg and devs files, but now > L4Linux immediately runs into an unhandled exception (full boot log at the > end of this eMail). > > Was wondering if someone from the mailing list can share a set of config > files which would allow to get L4Linux up and using at least some of the > basic hardware like network and disks on a typical PC board. In my current > experiments I'm using the following config files (see below). > > Any help or pointers are appreciated!
An error like this should not happen, irrespective of any config. I've uploaded 2020.08.0 and checked that the amd64 L4Linux configs in the L4Linux-mag setup works and sees PCI devices. Could you work from that config? Adam _______________________________________________ l4-hackers mailing list l4-hackers@os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
