Hmmm. I had the rp13 user space and the rp16 kernel space and running clinfo / any OCL programs complains about some DKK error. I'll dig into it more though. ARM *implies* a tight correlation between user space and kernel space, but that seems extremely difficult to manage if so. Thanks for the links, I'll poke around see what I can accomplish.