wok-current /gpxe/stuff/
| name | size | permissions |
|---|---|---|
| [up] | drwxr-xr-x | |
 cmdline.u
|
5168 | -rw-r--r-- |
|
default_boot.u
|
10871 | -rw-r--r-- |
|
gcc.u
|
339 | -rw-r--r-- |
|
prefix.u
|
10399 | -rw-r--r-- |
|
url_list.u
|
540 | -rw-r--r-- |
| name | size | permissions |
|---|---|---|
| [up] | drwxr-xr-x | |
|
cmdline.u
|
5168 | -rw-r--r-- |
|
default_boot.u
|
10871 | -rw-r--r-- |
|
gcc.u
|
339 | -rw-r--r-- |
|
prefix.u
|
10399 | -rw-r--r-- |
|
url_list.u
|
540 | -rw-r--r-- |