![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| BUILDDATE | 2023-07-20 12:25 | 9 | |
| GITBRANCH | 2023-07-20 12:25 | 5 | |
| MANIFEST | 2023-07-20 11:28 | 783 | |
| REVISION | 2023-07-20 12:25 | 13 | |
| base-dbg.txz | 2023-07-20 11:28 | 272M | |
| base.txz | 2023-07-20 11:28 | 189M | |
| kernel-dbg.txz | 2023-07-20 11:28 | 67M | |
| kernel.txz | 2023-07-20 11:28 | 43M | |
| ports.txz | 2023-07-20 11:28 | 47M | |
| src.txz | 2023-07-20 11:28 | 194M | |
| tests.txz | 2023-07-20 11:28 | 14M | |