>>596
TRON系は既に宇宙航空分野向けのT-Kernel 2.0 AeroSpaceとかもあるから、大規模システムでもいけるだろう。