Userland API and Utilities for the Web10g Kernel