仕事で要件満たす組み込みOS探しててリアルタイムOS+Linuxを一緒に動作出来るのを見つけたんだけど
これハイパーバイザーでやってるってことなの？

https://www.eforce.co.jp/products/microc3li