2 if(! bind -a '#u' /dev)
5 mkdir -p -m 700 '#σc/usb'
6 mkdir -p -m 700 '#σc/usbnet'
15 if(~ $#* 5 && ! test -e /env/nousbhname)
18 case 0b957720 0b95772a 0db0a877 13b10018 15577720 20013c05 07d13c05 05ac1402
19 nusb/ether -t a88772 $etherargs $id
20 case 0b951780 14eaab11 17370039 0411006e 050d5055
21 nusb/ether -t a88178 $etherargs $id
23 nusb/ether -t aue $etherargs $id
25 nusb/ether -t url $etherargs $id
26 case 18d14ee3 0bb40003
27 nusb/ether -t rndis $etherargs $id
34 nusb/ether $etherargs $id
40 for(dev in $devs $devs.*) if(test -d $dev) {
42 for(part in $dev/dos* $dev/9fat) if(test -r $part) {
43 mkdir -m 0700 '#σc/'^$dev || exit
44 {dossrv -s -f $part &} <[0=1] |
45 echo 0 >'#σc/'^$dev/dos
51 # Raspberry Pi ethernet will always appear as /net/etherU0
53 nusb/ether -t smsc $etherargs $1:0
58 devs='#σc/sdU'^($1 $5)
59 rm -rf '#σc/usb/'^$1.* '#σc/usbnet/'^$1.* $devs $devs.*
61 rc < '#σ/usb/usbevent' &
65 bind -a '#σ/usbnet' /net