| Mode | Name | Size | |
|---|---|---|---|
| d--------- | interrupts | 72 | logplain |
| -rw-r--r-- | kernel_prelude.hats | 178 | logplain |
| -rw-r--r-- | main.dats | 118 | logplain |
| d--------- | output | 116 | logplain |
 |
index : ats-os | |
| An attempt to create an operation system in ats-lang. | nginx |
| aboutsummaryrefslogtreecommitdiff |