I'd like to talk more about this. For a CPU like the 6502, static driver allotment is perfectly adequate; but for something larger like x86 or RISC-V, it's going to be too limiting. I think putting some thought into this ahead of time, even if not implemented in the smaller OS configurations, is worth the time investment.