Re: Ironclad – formally verified, real-time capable, Unix-like OS kernel #151 Post by irundebian » Mon, Nov 17, 2025, 7:42 AM UTC indolering wrote: post #122 irundebian wrote: post #115 Earlier quoted context omitted. Just because the market would buy something for X$, doesn't mean that you could buy that if you have more than X$. Militaries have billion dollar budgets. That doesn't mean anything.