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 | [[http://svnweb.freebsd.org/base?view=revision&revision=234938|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 |  |