diff --git a/docs/platform-packet.md b/docs/platform-packet.md
index a9afcba0e..36588094f 100644
--- a/docs/platform-packet.md
+++ b/docs/platform-packet.md
@@ -45,11 +45,20 @@ moby build linuxkit.yml
 PACKET_API_KEY=<API key> linuxkit run packet -serve :8080 -base-url http://9b828514.ngrok.io -project-id <Project ID> linuxkit
 ```
 
+To boot a `arm64` kernel on a Type 2a machine (`-machine
+baremetal_2a`) you currently need to un-compress both the kernel and
+the initrd before booting, e.g:
+```
+mv linuxkit-initrd.img linuxkit-initrd.img.gz && gzip -d linuxkit-initrd.img.gz
+mv linuxkit-kernel.img linuxkit-kernel.img.gz && gzip -d linuxkit-kernel.img.gz
+```
+
 **Note**: It may take several minutes to deploy a new server. If you
 are attached to the console, you should see the BIOS and the boot
 messages.
 
 
+
 ## Console
 
 By default, `linuxkit run packet ...` will connect to the
diff --git a/log.txt b/log.txt
new file mode 100644
index 000000000..7b82c53ee
--- /dev/null
+++ b/log.txt
@@ -0,0 +1,9 @@
+[=3h[=3h[=3h[=3h[=3h[=3h..PXE-E16: No offer received.
+Boot Failed. EFI Network
+
UEFI Interactive Shell v2.1
+EDK II
+UEFI v2.40 (BHYVE, 0x00010000)
+Mapping table
+Error. No mapping found
+Press ESC in 5 seconds to skip startup.nsh or any other key to continue.Press ESC in 4 seconds to skip startup.nsh or any other key to continue.Press ESC in 3 seconds to skip startup.nsh or any other key to continue.Press ESC in 2 seconds to skip startup.nsh or any other key to continue.Press ESC in 1 seconds to skip startup.nsh or any other key to continue.
+Shell> time="2017-08-08T23:15:51+01:00" level=fatal msg="Cannot run hyperkit: signal: killed"