Hi folks,

I'm doing some experimentation and wanted to generate my own kernel for my SOS and UOS. I cloned the kernel hosted on https://github.com/projectacrn/acrn-kernel but noticed that it was last updated on September 29th and its version is 4.14.69. Looking at the latest SOS kernel provided by Clear Linux [1], it's at version 4.14.73. Are we missing some patches/updates on https://github.com/projectacrn/acrn-kernel?

Thanks,
Geoffroy

[1] https://download.clearlinux.org/releases/current/clear/x86_64/os/Packages/linux-pk414-sos-4.14.73-114.x86_64.rpm