Not sure what's up with the permission issues at all. I don't get that, and it should be an empty directory I'd have thought :/
Also with NFC, it just doesn't work at the moment on SDK15. Just ignore the patch errors and it should still work as long as you don't try and enable NFC functionality.
Thanks, looks like the permission issues are some kind of WSL & remote VSCode locking up freakshow. Manually copying and moving solved the problem.
Edit: Applied the last patch 0008-GPIO-Fix-broken-includes.patch, and built it successfully!
© Espruino, powered by microcosm.
Report a problem