Links for nodemcu-kernel