wok-4.x /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-- |