I've now got L4Linux running on top of Fiasco+L4re on the DA850. However
there appears to be something wrong with the time. Time seems to be
passing at a rate of 10-1 (i.e. 1 elapsed second == 10 reported seconds)
in Linux. If I change the default Hz rating the L4Linux config (from
100Hz) in either direction L4Linux either hangs or slows down
dramatically. If I change the period in the timer driver (in the Fiasco
bsp directory) things hang earlier.
For the Fiasco BSP I'm using:
* timer_tick-single-vector for timer_tick_IMPL,
* clock_generic for clock_IMPL,
* a da850 timer driver for timer_IMPL.
Can someone enlighten me as to how it should work?
Thanks
--
Peter Howard <[email protected]>
_______________________________________________
l4-hackers mailing list
[email protected]
http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
