Exactly. I often recommend that anyway. Let's you offload all the interrupts and often plenty pre-processing. And microcontrollers with onboard peripherals are more numerous, powerful, and cheap than ever before. So many possibilities there.
I downloaded as much of the source of Bluebottle as I can. I'm glad the OP gave me the link to the modern one. I'll get it too. Think I might try to retarget it in one of the safer languages, secure hardware (eg Cambrige CHERI processor), or certified compilers. Oberon is the kind of thing a one-man project can make progress on. On other side, I think I recently saw another team quit after little progress on rewriting NetBSD in something safer. ;)
I don't have the link anymore. Doesn't matter. Despite NetBSD's portability and good design, it was simply too complicated and connected to C style for them to pull off the re-write. Oberon, on the other hand, has the whole OS written in a type-safe language with good modularity and is a lot simpler. Should be a much easier re-write.
I downloaded as much of the source of Bluebottle as I can. I'm glad the OP gave me the link to the modern one. I'll get it too. Think I might try to retarget it in one of the safer languages, secure hardware (eg Cambrige CHERI processor), or certified compilers. Oberon is the kind of thing a one-man project can make progress on. On other side, I think I recently saw another team quit after little progress on rewriting NetBSD in something safer. ;)