Re: [RFC] Kernel API