record the full screen:-
ffmpeg -f x11grab -y -r 30 -s 1366×768 -i :0.0 -vcodec huffyuv out.avi
compress the video
ffmpeg -i out.avi -vcodec libx264 -crf 24 output.avi
https://ottverse.com/ffmpeg-convert-avi-to-mp4-lossless/
https://www.addictivetips.com/ubuntu-linux-tips/record-your-screen-from-the-linux-command-line/
Fedora rawhide booting on Risc-V
https://wiki.qemu.org/Documentation/Platforms/RISCV
https://dl.fedoraproject.org/pub/alt/risc-v/repo/virt-builder-images/images/
Video of rawhide booting -