It's also possible to use a different image here, but we'll need to
find and test with them.
************************************
+
+arm32 image for Azeria labs
+---------------------------
+
+I've installed extra packages desired in the arm32 image, using:
+
+$ sudo apt-get install git gdb gcc cmake
+
+(This covers most of the extra bits wanted for the lab AFAICS.)
+
+I grabbed the azeria labs git repo:
+
+$ git clone https://github.com/azeria-labs/ARM-challenges.git
+
+And downloaded and installed the recommended "gef" gdb extension:
+
+$ wget -O ~/.gdbinit-gef.py -q https://github.com/hugsy/gef/raw/master/gef.py
+$ echo source ~/.gdbinit-gef.py >> ~/.gdbinit
+
+Finally, iterated through installing various bits that gef complained
+were missing:
+
+ * keystone
+ (https://github.com/keystone-engine/keystone/blob/master/README.md)
+ * unicorn
+ (https://github.com/unicorn-engine/unicorn/blob/master/docs/COMPILE.md)
+ * ropper
+ (https://github.com/sashs/Ropper/blob/master/README.md)
+
+Quite a lot of faff for those, I hope it's worth it!