What will it take for me to be able to purchase a microkernel driven router/access-point with audited drivers (or Rust based)? I would settle for mediocre performance (ie no gigabit) if I could have some strong security guarantees.
Can I setup Redox or seL4 as home network hardware at this point? Or would the pain threshold still be quite high?