How to flash firmware of the K64 with a docking station?

[ChristopherRabotin]

I'm trying to get brand new Hexiwear ready to flash Zephyr RTOS. I'm following the docs of Hexiwear but I seem to be unable to flash the bootloader.

What's the process? I'm trying the following:

1. Configure switches to target the MK64
2. Hold the left Reset button for 3 seconds while I power on the docking station
3. Copy the .bin firmware to the MAINTENANCE mass storage drive which shows up
4. Cycle the power on the docking station (or press the left reset button again).

However, the device is not seen by pyOCD: pyocd-gdbserver -l returns that no board were found.

I'm running Linux, and dmesg displays the following when I start the board in maintenance mode:

[230307.625920] usb 3-1: new full-speed USB device number 35 using xhci_hcd
[230307.814304] usb 3-1: New USB device found, idVendor=2dbc, idProduct=0001
[230307.814308] usb 3-1: New USB device strings: Mfr=1, Product=2, SerialNumber=3
[230307.814310] usb 3-1: Product: DAPLink CMSIS-DAP
[230307.814312] usb 3-1: Manufacturer: ARM
[230307.814316] usb 3-1: SerialNumber: 0000000031874e45004e2004906e004d3ed1000097969900
[230307.816177] usb-storage 3-1:1.0: USB Mass Storage device detected
[230307.816278] scsi host6: usb-storage 3-1:1.0
[230308.816260] scsi 6:0:0:0: Direct-Access     MBED     VFS              0.1  PQ: 0 ANSI: 2
[230308.816509] sd 6:0:0:0: Attached scsi generic sg2 type 0
[230308.818756] sd 6:0:0:0: [sdb] 16512 512-byte logical blocks: (8.45 MB/8.06 MiB)
[230308.819982] sd 6:0:0:0: [sdb] Write Protect is off
[230308.819986] sd 6:0:0:0: [sdb] Mode Sense: 03 00 00 00
[230308.821203] sd 6:0:0:0: [sdb] No Caching mode page found
[230308.821208] sd 6:0:0:0: [sdb] Assuming drive cache: write through
[230308.849543] sd 6:0:0:0: [sdb] Attached SCSI removable disk

Is there any udev rule I need to setup prior to be able to flash this board?

Thanks.