Document kernel API