some useful libraries from linux kernel