| Mode | Name | Size | |
|---|---|---|---|
| d--------- | bootinfo | 84 | logplain |
| d--------- | interrupts | 72 | logplain |
| -rw-r--r-- | main.dats | 1563 | logplain |
| d--------- | memory | 154 | logplain |
| d--------- | prelude | 109 | 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 |