search

twizzler-operating-system / twizzler

The Twizzler Operating System
BSD 3-Clause "New" or "Revised" License
66 stars 14 forks source link

Time APIs for User and Kernel #78

Closed PandaZ3D closed 2 years ago

PandaZ3D commented 2 years ago

This PR implements twizzler-rfcs/rfcs#0003, and addresses twizzler-operating-system/twizzler#0024. It introduces a time subsystem in the kernel to support user applications.

A number of new abstractions are introduced (Clock, ClockInfo, ClockHardware, etc.) and APIs are written up for people to look at.