Я прочитал документ, в котором говорится RTLinux — это небольшая POSIX 1003.13/PSE51 -совместимая операционная система жесткого реального времени. К сожалению, в 2007 году Wind River приобрела компанию, которая создала RTLinux и выпустила на ее основе коммерческий продукт. Я не знаю, является ли версия RTLinux Wind River с открытым исходным кодом. Я нашел репозиторий GIT для rt-linuxздесь. Но он называется rt -linux, а не RTLinux. Я не уверен, что это одно и то же.
Адаптация решения в другой вашей ветке (за исключением файла расширения оболочки[12]):
awk ' FNR==NR {P[$125]; next} FNR==1 || !($1 in P)' file1 file2
Chromosome position ID Gene pval
01:1243933_GA_G_1 ACE 0.002