Software model of various peripherals (ARM Generic PCI controller, Intel E1000 adapter, AHCI SATA device, Altera DMA engine) - View it on GitHub