What’s the story when you want to allocate kernel memory in, say a device driver? The kernel manual is a bit sparse on detail, and I had to check the details when asked.