From c77b90bf8c0112773520f2e664ef1f54ce9d1894 Mon Sep 17 00:00:00 2001
From: Fioddor Superconcentrado <fioddor@gmail.com>
Date: Tue, 28 Apr 2020 12:08:32 +0000
Subject: [PATCH] Directions to install VirtualBox when it's not part of the
 Debian-based distro, like Buster.

---
 HACKING.md | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/HACKING.md b/HACKING.md
index af0300e5e..33a1147c7 100644
--- a/HACKING.md
+++ b/HACKING.md
@@ -14,6 +14,14 @@ can install latest versions of Git, Vagrant and VirtualBox.
    ```bash
    $ sudo apt install git virtualbox vagrant
    ```
+   
+   For some distro you might need to add Oracle's VirtualBox source
+   (https://download.virtualbox.org/virtualbox/debian) to apt's sources list
+   (typically in /etc/apt/sources.list file) and its key:
+   
+   ```bash
+   $ sudo wget -q https://www.virtualbox.org/download/oracle_vbox_2016.asc -O- | sudo apt-key add -
+   ```
 
 ### For Other GNU/Linux Distributions or *BSDs