20 Sep
                
                    2019
                
            
            
                20 Sep
                
                '19
                
            
            
            
        
    
                4:13 p.m.
            
        On 09/20/2019 12:48 AM, Christian Hesse wrote:
We had to patch VirtualBox 6.0.12 as well. Probably you need something like this: https://git.archlinux.org/svntogit/community.git/tree/trunk/015-linux-5-3.pa...
Thank you Christian and Ralf, I'll see if I can draw from that and make things work. -- David C. Rankin, J.D.,P.E.