How to compile custom kernel for Resin OS


I wanted to compile real time kernel for Beaglebone Blue and install them to my running devices on Resin Dashboard, anyone have instruction on how to do that?

I’ve found the build script for the whole flash image here:
But I’m not quite sure how I could compile only the kernel then ship it to running devices.

you can take a look at use this example project here:

Later edit: sorry, I misread your post, I thought you had asked about a kernel module

Probably it’s not possible to install custom kernel but it must update the whole OS itself? based on this:

But how to register my custom-built OS image so it will appear on Resin.IO Dashboard, and also how I can update the OS with my custom image after that only by use the Dashboard?