I've added the patch with a few changes (mainly making it configurable how many bits are used for the clock) and added x86/x86-64 support. -- ⧠Ulrich Drepper ⧠Red Hat, Inc. ⧠444 Castro St ⧠Mountain View, CA â