l4linux, making progress

Adam Lackorzynski adam at os.inf.tu-dresden.de
Thu Jun 28 23:02:05 CEST 2012

On Thu Jun 28, 2012 at 13:20:14 -0700, Ryan Brown wrote:
> Thanks, I'm up and running now!  What should the io config for rtc look
> like? And what's the benefit of using rtc? I haven't given l4linux access
> to any RTC hardware in my io config, but it seems to be running ok so far
> without the rtc server.

Yes, will do but the date will not be set properly.

rtc => new System_bus()
  rtcdev => wrap(hw-root.match("PNP0B00"));

Adam                 adam at os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/

More information about the l4-hackers mailing list