4 ms·

You must not have been looking really hard. QNX is very popular for embedded systems, and every modern Intel processor is running MINIX on its IME.

• collyw 7y ago
  I didn't realize QNX was microkernel.
• tyingq 7y ago
  The Android bootloader is LK.
  • ndesaulniers 7y ago
    Android does not distribute a bootloader. SoC vendors have their own.
    • tyingq 7y ago
      I would hazard a guess that most of them are the LK bootloader that Google (contrary to your claim) does distribute large portions of: https://android.googlesource.com/kernel/lk/ https://android.googlesource.com/kernel/lk/ http://newandroidbook.com/Articles/aboot.html http://newandroidbook.com/Articles/aboot.html
      • ndesaulniers 7y ago
        Notice the year of the final commit of any of those branches?