[rdtsc]

DETS is supposed to repair itself on startup. I think most crash-only systems work that way (on startup, start reading from end and find last consistent bit and chop off the rest). But there could obviously been a bug there.

[X4lldux]

I have a very modest experience with it, but when a crash happened it was game-over for it. Maybe I was doing something wrong.