VisualKernel is a much more niche product that VisualGDB. It solves a narrow subset of problems that are relevant to a smaller number of users, hence it is not updated as regularly.
Based on the feedback we receive, many users would appreciate a direct way to run VisualKernel on Linux and not have to install Windows + Visual Studio in a virtual machine.
We are working on a technology that will allow doing that, while retaining all advanced features (e.g. tracing). It will be first integrated into VisualGDB and another brand-new cross-platform product, and will then make its way into VisualKernel. Until then, we are not planning to do any major VisualKernel updates.