![[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-08-18 15:55 | 9 | |
| GITBRANCH | 2023-08-18 15:55 | 5 | |
| MANIFEST | 2023-08-18 13:50 | 783 | |
| REVISION | 2023-08-18 15:55 | 13 | |
| base-dbg.txz | 2023-08-18 13:48 | 254M | |
| base.txz | 2023-08-18 13:48 | 166M | |
| kernel-dbg.txz | 2023-08-18 13:48 | 40M | |
| kernel.txz | 2023-08-18 13:48 | 19M | |
| ports.txz | 2023-08-18 13:48 | 48M | |
| src.txz | 2023-08-18 13:48 | 194M | |
| tests.txz | 2023-08-18 13:48 | 15M | |