| Mode | Name | Size | |
|---|---|---|---|
| d--------- | interrupts | 72 | logplain |
| -rw-r--r-- | main.dats | 339 | logplain |
| d--------- | prelude | 78 | logplain |
| -rw-r--r-- | tss.dats | 510 | logplain |
| -rw-r--r-- | tss.sats | 1191 | logplain |
 |
index : ats-os | |
| An attempt to create an operation system in ats-lang. | nginx |
| aboutsummaryrefslogtreecommitdiff |