Hi, I have just completed a fork of the GPLv2 ntfs-3g project [1], that enables compiling it as a UEFI driver. The project, as well as binary releases (for X64, IA32, AARCH64 and ARM), can be found at

I believe the way Raspberry Pi defaults to network boot is actually by updating the boot options and issuing a reboot, per: https://github.com/tianocore/edk2-platforms/commit/8dd78ea11a38d2d7e8031c478

Hi Elena, Glad to hear that you got Debian 10 installed. For the record, we should have finalized notes on how to install Debian 10 on the Pi 3 soon, in this platform's Systems.md [1] (I send a patch