[PATCH 01/02] USB driver bcm283x_dwcotg added.

--- freebsd/sys/arm/broadcom/bcm2835/bcm283x_dwc_fdt.c | 127 freebsd/sys/dev/usb/controller/dwc_otg_fdt.c | 228 + freebsd/sys/dev/usb/controller/dwc_otg_fdt.h | 39 libbsd.py | 3 + libbsd_waf.py

[PATCH 02/02] Added usb_ehternet controller and configured for Raspberry Pi.

--- freebsd/sys/dev/usb/controller/dwc_otg_fdt.c |4 + freebsd/sys/dev/usb/net/if_cdce.c | 1583 freebsd/sys/dev/usb/net/if_cdcereg.h | 105 ++ freebsd/sys/dev/usb/net/if_smsc.c | 1886 freebsd/sys/dev

Re: libbsd: How to add an option for switching off IPv6 (or other BSD Kernel configurations)

Am 02.08.2016 um 12:21 schrieb Chris Johns: > On 2/08/2016 8:05 PM, Christian Mauderer wrote: >> Am 02.08.2016 um 08:57 schrieb Christian Mauderer: >>> Am 02.08.2016 um 04:09 schrieb Chris Johns: On 02/08/2016 00:04, Christian Mauderer wrote: >> [...] >>> > Are there any better ideas how t