Add default profile for Debian (using debian-full Docker image)

debug.html

@@ -18,6 +18,7 @@
         <input type="button" value="Arch Linux" id="start_archlinux">
         <input type="button" value="Oberon" id="start_oberon">
         <input type="button" value="KolibriOS" id="start_kolibrios">
+        <input type="button" value="Debian" id="start_debian">
         <input type="button" value="Linux 2.6" id="start_linux26">
         <input type="button" value="Linux 3.18" id="start_linux3">
         <input type="button" value="Windows 1.01" id="start_windows1">

src/browser/main.js

@@ -270,6 +270,26 @@
                 },
                 name: "Windows",
             },
+            {
+                id: "debian",
+                state: {
+                    "url": "images/debian-state-base.bin",
+                },
+                name: "Debian",
+                memory_size: 512 * 1024 * 1024,
+                vga_memory_size: 8 * 1024 * 1024,
+                hda: {
+                    "url": "<NULL>",
+                    "size": 5,
+                    "async": true,
+                },
+                filesystem: {
+                    "basefs": {
+                        "url": HOST + "images/debian-base-fs.json",
+                    },
+                    "baseurl": HOST + "images/debian-9p-rootfs-flat/",
+                },
+            },
             {
                 id: "linux26",
                 cdrom: {