First make a bootable Debian usb:

``` Cruzer U:

      Product ID: 0x55a5
      Vendor ID: 0x0781  (SanDisk Corporation)
      Version: 1.00
      Serial Number: 4C530005940904114024
      Speed: Up to 480 Mb/s
      Manufacturer: SanDisk
      Location ID: 0x14200000 / 16
      Current Available (mA): 500
      Current Required (mA): 224
      Extra Operating Current (mA): 0
      Media:
        Cruzer U:
          Capacity: 16.01 GB (16,005,464,064 bytes)
          Removable Media: Yes
          BSD Name: disk4
          Logical Unit: 0
          Partition Map Type: GPT (GUID Partition Table)
          S.M.A.R.T. status: Verified
          USB Interface: 0
          Volumes:
            EFI:
              Capacity: 209.7 MB (209,715,200 bytes)
              File System: MS-DOS FAT32
              BSD Name: disk4s1
              Content: EFI
              Volume UUID: 0E239BC6-F960-3107-89CF-1C97F78BB46B
            disk4s2:
              Capacity: 15.79 GB (15,793,651,712 bytes)
              File System: MS-DOS
              BSD Name: disk4s2
              Content: Microsoft Basic Data
              ``` The section labeled `disk4s2` at the bottom seems to correspond to the file pointer at `/dev/`

more later…