Re: export kernel clock information to user space