This is a general purpose comment thread for the “[Double Faults](https://os.phil-opp.com/double-fault-exceptions/)” post.