diff --git a/docs/from_home/bare-metal.md b/docs/from_home/bare-metal.md
index cdf474cdf40cd459bb8b2427bbf4b8096da42172..463f4055648fa3cf4d508eac4169f55f1af0d493 100644
--- a/docs/from_home/bare-metal.md
+++ b/docs/from_home/bare-metal.md
@@ -26,6 +26,17 @@ Click on the `USB` menu, then click on the USB with `+` sign and add your USB ke
 
 Then, click on `OK`
 
+!!! tip
+
+    If the list of devices is empty, your current Linux account may not be a
+    member of the `vboxusers` group.
+
+    In a terminal, type the following command to add yourself to this group :
+
+    `$ sudo usermod --groups vboxusers --append $USER`
+
+    You may need to logout then log back in for this change to be effective.
+
 #### Disk
 
 Click on the `Storage` part