3 ms·There is linux-rt, a fork of linux but I don't think it's competitive in the industry.by gnulinux 8y agoThere is linux-rt, a fork of linux but I don't think it's competitive in the industry.