| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | COPYING | 18011 | logstatsplain |
| -rw-r--r-- | README | 1887 | logstatsplain |
| -rw-r--r-- | arm64kpti.cfg | 334 | logstatsplain |
| -rw-r--r-- | arm64kpti.tla | 72162 | logstatsplain |
| -rw-r--r-- | asidalloc.cfg | 375 | logstatsplain |
| -rw-r--r-- | asidalloc.tla | 68462 | logstatsplain |
| -rwxr-xr-x | check.sh | 579 | logstatsplain |
| -rw-r--r-- | ctxsw.cfg | 236 | logstatsplain |
| -rw-r--r-- | ctxsw.tla | 25748 | logstatsplain |
| -rw-r--r-- | fpsimd.cfg | 210 | logstatsplain |
| -rw-r--r-- | fpsimd.tla | 45077 | logstatsplain |
| -rw-r--r-- | qrwlock.cfg | 449 | logstatsplain |
| -rw-r--r-- | qrwlock.tla | 17760 | logstatsplain |
| -rw-r--r-- | qspinlock.cfg | 261 | logstatsplain |
| -rw-r--r-- | qspinlock.tla | 28204 | logstatsplain |
| -rw-r--r-- | ticketlock.cfg | 257 | logstatsplain |
| -rw-r--r-- | ticketlock.tla | 6976 | logstatsplain |
| -rwxr-xr-x | varsplit.awk | 1390 | logstatsplain |
 |
index : kernel/git/cmarinas/kernel-tla.git | |
| Kernel TLA+ specs | Catalin Marinas |
| aboutsummaryrefslogtreecommitdiffstats |