Hi,
Guanghui, Cheng wrote:
> Now i fixed l4io a little and add the hpet device after the tpm device
> in the l4io/server/src/static_cfg_x86.c and now i could map the hpet
> device
> into the virtual device. I could read/write the hpet device directly.
> This is
> a important progress for vtimer server implementation. If i make more i
> could report to you.
Just out of curiosity, is vtimer a special component related to your
work or is it a general step towards a (working) general-purpose timer
service in DROPS (which would be very nice)?
Regards,
Andre