Development of device drivers for the linux kernel