diff options
Diffstat (limited to 'emu')
| -rw-r--r-- | emu/port/master | 36 | ||||
| -rw-r--r-- | emu/port/master.local | 10 | ||||
| -rw-r--r-- | emu/port/mkfile | 15 |
3 files changed, 61 insertions, 0 deletions
diff --git a/emu/port/master b/emu/port/master new file mode 100644 index 00000000..6532f7a2 --- /dev/null +++ b/emu/port/master @@ -0,0 +1,36 @@ +# do not edit; automatically generated + +% mem +* indir +/ root +A audio +C cmd +D ssl +F tinyfs +I ip +M mnt +P prof +U fs +^ snarf +a arch +c cons +d dup +e env +i draw +m pointer +p prog +s srv +| pipe +τ tk +₪ srv9 + +α local use +β local use +γ local use +δ local use +ε local use +ζ local use +η local use +θ local use +ι local use +κ local use diff --git a/emu/port/master.local b/emu/port/master.local new file mode 100644 index 00000000..5d9438d3 --- /dev/null +++ b/emu/port/master.local @@ -0,0 +1,10 @@ +α local use +β local use +γ local use +δ local use +ε local use +ζ local use +η local use +θ local use +ι local use +κ local use diff --git a/emu/port/mkfile b/emu/port/mkfile new file mode 100644 index 00000000..4817e894 --- /dev/null +++ b/emu/port/mkfile @@ -0,0 +1,15 @@ +# If the existence of this mkfile screws something up, rename it. -rsc + +master:DV: + { + echo '# do not edit; automatically generated' + echo + echo ' + X , s/Dev (.*)devtab.*{.*\n L?''(.*)''/DEV \1 \2\n/ + X ,x g/^DEV/ p + ' | sam -d ../*/dev*.c >[2]/dev/null | + awk '/^DEV/ { printf("%s\t%s\n", $3, $2); }' | + sort -u + echo + cat master.local + } >master |