…
..
fdt
sound
acpi_quirks2h.awk
amd64_ia32_vdso.sh
amd64_vdso.sh
arm_kernel_boothdr.awk
bus_macro.sh
embed_mfs.sh
fw_stub.awk
makeobjops.awk
makesyscalls.lua
miidevs2h.awk
pccarddevs2h.awk
sdiodevs2h.awk
usbdevs2h.awk
vdso_wrap.S
vnode_if.awk