Hi and thanks for your answers !!!
It seems that we can go first with the Arch-Linux with 5400 rpm in production and use the HDD-7200 rpm for recording. The performance is under normal conditions good without x-runs (without kernel-rt). I hope the best for the future.
Thanks,
Yosef