Is the array held within the kernel? Why not provide an API that returns a copy of the array to a user program which can then print it out? If so ioctl/read etc should provide examples of how to transfer data from the kernel to user memory space using a syscall.