0796login:Penguin垢版 | 大砲2021/10/22(金) 03:07:10.11ID:9eCQyooE Linuxってリアルタイム関連のAPIを使うのに 特殊なカーネルは必要なの? RTLinuxを使わないとダメって本当?