Kernel TLA+ specs

Clone this repo: