The camera streams raw h264 using picamera. Can we mux this directly to mp4 without much overhead from within python?
I have googled around but everyone seems to resort to external programs like gpac/mp4box or ffmpeg.
Is that really necessary? Is adding container metadata to the raw stream such a complex and overhead'y endeavor?