[LITMUS^RT] Cannot install the LITMUS-RT kernel

[Björn Brandenburg]

> On 23 Jun 2016, at 16:07, shijunjie92 <shijunjie92 at gmail.com> wrote:
> 
> I installed the 2016.1 litmus-rt kernel on ubuntu  l4.04.4 based on VMWare.
> I have followed the installation guide on the website and fixed the error on as102_usb_drv.c.
> But when I reboot the system. only the kernel 4.1.3 has been installed. Nothing with the litmus-rt kernel.
> Is there any one know how to solve that problem?

Hi,

thanks for your interest in LITMUS^RT. How do you know it’s only the kernel 4.1.3 that’s installed? Did you install a vanilla kernel before trying to install LITMUS^RT?

Please post the output of `ls -l /proc` and `ls -l /proc/litmus`.

Thanks,
Björn