Tools having something to see with Linux Kernel (Raspberry PI, ...)