BSD Licensed Device Models

gxemul's device models appear to all be BSD licensed and are available at http://gxemul.sourceforge.net/gxemul-stable/src/devices/

QEMU has device modules under a variety of licenses, including permissive & GPL https://github.com/qemu/qemu/tree/master/hw

Device gxemul qemu bhyve or Other
i8259 PIC http://gxemul.sourceforge.net/gxemul-stable/src/devices/dev_8259.cc.html https://github.com/qemu/qemu/blob/master/hw/intc/i8259.c
UARTs
ns16550 http://gxemul.sourceforge.net/gxemul-stable/src/devices/dev_ns16550.cc.html https://github.com/qemu/qemu/blob/master/hw/char/serial.c r234938
NICs
LANCE http://gxemul.sourceforge.net/gxemul-stable/src/devices/dev_le.cc.html
dec21143 Tulip http://gxemul.sourceforge.net/gxemul-stable/src/devices/dev_dec21143.cc.html
ne2000 https://github.com/qemu/qemu/blob/master/hw/net/ne2000.c
rtl8139 http://gxemul.sourceforge.net/gxemul-stable/src/devices/dev_rtl8139c.cc.html
e1000 QEMU's e1000 is GPL
Video
VGA http://gxemul.sourceforge.net/gxemul-stable/src/devices/dev_vga.cc.html
Cirrus 54xx https://github.com/qemu/qemu/blob/master/hw/display/cirrus_vga.c