I could see just powering through because modern hardware is fast enough to do so being an option.
Adding 20% to a 10 second operation is a lot longer on a wall clock than adding 20% to a 1 second operation.
Adding 20% to a 10 second operation is a lot longer on a wall clock than adding 20% to a 1 second operation.
If I could get a micro kernel with a better security profile than Linux, that doesn’t sound so bad. I could easily be using a ten year old chip for my day to day browsing and probably wouldn’t notice.
I suggest that you look at genode/sculpt:)