RE: [ixp1200] IXP2400 Intel libraries: kernel/user space