I've posted a draft update to P2809 Trivial infinite loops are not Undefined Behavior:

I seek your feedback regarding the freestanding behavior that I've added. The basics: freestanding can do whatever it wants with infinite loops, because it might not have threads and/or might not have concurrent forward progress guarantees. Saying that infinite loops yield would force them to have forward progress guarantees that they do not have to offer currently.

Thoughts?

JF