Work-in-Progress: VerticalThings - A Language-Based Microkernel for Constrained IoT Devicer | IEEE Conference Publication | IEEE Xplore