Posted: Mon 27 Jan 2020, 03:45
I was able to compile the vboxdrv module using the 4.19.25-rt16 RT kernel by these steps:
1. with a fresh Bionic64 using the kernel 4.19.23, loaded the devx and 32 bit compat libs. Then installed virtualbox-6.1_6.1.2-135662~Ubuntu~bionic_amd64.deb
2. loaded the kernel sources SFS for kernel 4.19.25-rt16
3. changed the kernel from 4.19.23 to 4.19.25-rt16
4. reboot
5. deleted the /lib/modules/4.19.25-rt16/build and /lib/modules/4.19.25-rt16/source symlinks
6. replaced with
7. open /etc/modprobe.d/cdrecord.conf and comment out an erroneous entry:
8. run
I then started virtualbox and set up a Racy 5.5 virtual machine which started and I was able to use GParted to format the virtual hard drive and install racy5.5
1. with a fresh Bionic64 using the kernel 4.19.23, loaded the devx and 32 bit compat libs. Then installed virtualbox-6.1_6.1.2-135662~Ubuntu~bionic_amd64.deb
2. loaded the kernel sources SFS for kernel 4.19.25-rt16
3. changed the kernel from 4.19.23 to 4.19.25-rt16
4. reboot
5. deleted the /lib/modules/4.19.25-rt16/build and /lib/modules/4.19.25-rt16/source symlinks
6. replaced with
Code: Select all
ln -s /usr/src/linux /lib/modules/4.19.25-rt16/build
ln -s /usr/src/linux /lib/modules/4.19.25-rt16/source
Code: Select all
#sg
Code: Select all
root# /etc/init.d/vboxdrv setup
vboxdrv.sh: Stopping VirtualBox services.
vboxdrv.sh: Starting VirtualBox services.
vboxdrv.sh: Building VirtualBox kernel modules
root#