Since #98 has fixed the error with kbleds caused by changed timer API, now it can work again with docker container.
@@ -1,3 +1,2 @@
bottomhalf
intrpt
-kbleds