Need general introduction to the dev kit and phone
For the phone, something along the lines of:
"The Librem 5 is an i.MX8 phone running PureOS, a Debian derivative. The kernel is [based on NXP's sources? latest mainline with patches? not sure]. For the graphical windowing system, it makes use of Rootston, a Wayland compositor, together with a bespoke shell named phosh. The graphical environment is based on the GNOME platform with a variety of modifications. The telephony stack consists of [oFono/ModemManager/etc.]. ... "
And something similar will be needed for the dev kit.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information