Hallo Gavin,
On Mon, Oct 05, 2020 at 11:16:16AM +0200, Gavin Schenk wrote:
> The directory /media is created depending on PTXCONF_ROOTFS_MEDIA only.
I'd write:
Ensure that with PTXCONF_ROOTFS_MEDIA set /media is created even
if none of PTXCONF_ROOTFS_MEDIA[1-6] is set.
(Is that
The directory /media is created depending on PTXCONF_ROOTFS_MEDIA only.
On our read-only system we mount a tmpfs on /media, so that we can
dynamically create additional mount points. With PTXCONF_ROOTFS_MEDIA set,
but none of PTXCONF_ROOTFS_MEDIA[1-6], the /media directory was not created
and
