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