Extremely useful talk. I really liked how candid the speaker was about the challenges of debugging low-level systems like device drivers. According to them, Scheme gives you a nice REPL for debugging hard-to-reproduce bugs in low-level code like device drivers. However, the cost at the moment is that you have to deal with GC occurring at inopportune times, something a less capable language would shield you from.
I'm just starting to get into OS development, and I'm acutely aware of the benefits on the other side of the fence (bootstrapping OS capabilities using a language, rather than bootstrapping language capabilities using an OS, as Mu does). This is a useful project to keep on my radar, if only to better understand the sort of debugging they've had to learn to do.