net_sockets: client library checks all available net_socket services
[barrelfish] / devices /
drwxr-xr-x   ..
-rw-r--r-- 4328 Hakefile
-rw-r--r-- 1815 a9scu.dev
-rw-r--r-- 5862 ac97_base_audio.dev
-rw-r--r-- 3435 ac97_ext_audio.dev
-rw-r--r-- 2762 ac97_ext_codec.dev
-rw-r--r-- 3270 ac97_ext_modem.dev
-rw-r--r-- 1676 acpi_ec.dev
-rw-r--r-- 1690 acpi_ec_mem.dev
-rw-r--r-- 3631 ahci_hba.dev
-rw-r--r-- 7983 ahci_port.dev
-rw-r--r-- 2763 amd64.dev
-rw-r--r-- 18509 amd_vmcb.dev
drwxr-xr-x - apm88xxxx
-rw-r--r-- 3666 arm.dev
-rw-r--r-- 2472 arm_icp_pic0.dev
-rw-r--r-- 1886 arm_icp_pit.dev
-rw-r--r-- 169912 armv8.dev
drwxr-xr-x - armv8
-rw-r--r-- 8067 ata_identify.dev
-rw-r--r-- 6384 audio_nbm.dev
-rw-r--r-- 1521 cortex_a9_gt.dev
-rw-r--r-- 2178 cortex_a9_pit.dev
-rw-r--r-- 1744 cortex_a9_scu.dev
-rw-r--r-- 17694 cpuid.dev
-rw-r--r-- 14034 cpuid_amd.dev
-rw-r--r-- 3151 cpuid_arm.dev
-rw-r--r-- 10655 cpuid_intel.dev
-rw-r--r-- 53399 e1000.dev
-rw-r--r-- 88373 e10k.dev
-rw-r--r-- 7191 e10k_q.dev
-rw-r--r-- 14962 e10k_vf.dev
-rw-r--r-- 16271 ehci.dev
-rw-r--r-- 1327 fat16_ebpb.dev
-rw-r--r-- 1622 fat32_ebpb.dev
-rw-r--r-- 1728 fat_bpb.dev
-rw-r--r-- 1964 fat_direntry.dev
-rw-r--r-- 4540 gic_v2_cpu.dev
-rw-r--r-- 6434 gic_v3.dev
-rw-r--r-- 3018 hpet.dev
-rw-r--r-- 2152 ht_config.dev
-rw-r--r-- 22356 ia32.dev
-rw-r--r-- 42057 ioat_dma.dev
-rw-r--r-- 10672 ioat_dma_chan.dev
-rw-r--r-- 2828 ixp2800_icp_pic0.dev
-rw-r--r-- 1702 ixp2800_icp_pit.dev
-rw-r--r-- 5246 ixp2800_uart.dev
-rw-r--r-- 804 lpc_bridge.dev
-rw-r--r-- 5704 lpc_dma.dev
-rw-r--r-- 2925 lpc_ioapic.dev
-rw-r--r-- 2870 lpc_kbd.dev
-rw-r--r-- 7855 lpc_pci_config.dev
-rw-r--r-- 5073 lpc_pic.dev
-rw-r--r-- 3319 lpc_rtc.dev
-rw-r--r-- 3787 lpc_rtc_spaces.dev
-rw-r--r-- 3140 lpc_timer.dev
-rw-r--r-- 3019 megaraid.dev
-rw-r--r-- 8877 ohci.dev
drwxr-xr-x - omap
-rw-r--r-- 4662 pc16550d.dev
-rw-r--r-- 5108 pc16550d_mem.dev
-rw-r--r-- 6036 pci_hdr0.dev
-rw-r--r-- 5969 pci_hdr0_mem.dev
-rw-r--r-- 7239 pci_hdr1.dev
-rw-r--r-- 2526 pci_sr_iov_cap.dev
-rw-r--r-- 8939 pl011_uart.dev
-rw-r--r-- 9830 pl130_gic.dev
-rw-r--r-- 14147 rtl8029as.dev
-rw-r--r-- 14157 rtl8029as_spaces.dev
-rw-r--r-- 16816 sdhc.dev
-rw-r--r-- 64068 sfn5122f.dev
-rw-r--r-- 7908 sfn5122f_q.dev
-rw-r--r-- 3226 sp804_pit.dev
-rw-r--r-- 10830 ti_i2c.dev
-rw-r--r-- 5849 ti_twl6030.dev
-rw-r--r-- 8221 tulip.dev
-rw-r--r-- 3900 uhci.dev
drwxr-xr-x - virtio
-rw-r--r-- 7868 vtd.dev
-rw-r--r-- 1640 vtd_iotlb.dev
-rw-r--r-- 5373 x2apic.dev
-rw-r--r-- 7289 xapic.dev
drwxr-xr-x - xeon_phi
drwxr-xr-x - zynq7