1. 2018-04-25 Re: [vbox-dev] Patch to fix kernel API changes in 4.1 vbox-dev Sérgio Basto 2. 2018-04-16 [vbox-dev] Patch to fix kernel API changes in 4.17 vbox-dev Larry Finger