Docker 101

Who can live without docker? Hmm, I don’t know someone. The concept is known and I am not going to explain it in this space. What makes me think that worths is to gather a few essential commands to hit the ground running, don’t you think? How to install it Ubuntu 18.04? There are a

Continue reading Docker 101

How to update or customise the raspberry pi Linux kernel

It is some times necessary to customise the Linux Kernel to add or remove specific support in terms of hardware compatibility. For instance, I wanted to experiment with the popular PEAK USB adapter. In that case, there is the SocketCAN Linux driver which is embedded in Kernel since version 3.6.  To enable this option in

Continue reading How to update or customise the raspberry pi Linux kernel