![[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 18:59 | 9 | |
| GITBRANCH | 2023-08-18 18:59 | 5 | |
| MANIFEST | 2023-08-18 15:48 | 783 | |
| REVISION | 2023-08-18 18:59 | 13 | |
| base-dbg.txz | 2023-08-18 15:45 | 273M | |
| base.txz | 2023-08-18 15:45 | 190M | |
| kernel-dbg.txz | 2023-08-18 15:45 | 67M | |
| kernel.txz | 2023-08-18 15:45 | 42M | |
| ports.txz | 2023-08-18 15:45 | 48M | |
| src.txz | 2023-08-18 15:45 | 194M | |
| tests.txz | 2023-08-18 15:45 | 16M | |