ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-26 08:51:08 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
8d6285927b
genode/repos/base-hw/include/spec/x86_64
History
Stefan Kalkowski 80fa23da5e hw: increase timing accuracy of kernel (fix #3081) 
* Introduce 64-bit tick counter
* Let the timer always count when possible, also if it already fired
* Simplify the kernel syscall API to have one current time call,
  which returns the elapsed microseconds since boot
2019-03-18 15:56:23 +01:00
..
kernel hw: increase timing accuracy of kernel (fix #3081) 2019-03-18 15:56:23 +01:00
muen muen: Update sinfo to variant resources API 2018-04-19 12:38:25 +02:00