]> CyberLeo.Net >> Repos - FreeBSD/FreeBSD.git/commit
projects / FreeBSD / FreeBSD.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1872e29) | patch
o Add support for BERI IOMMU device
authorbr <br@FreeBSD.org>
Mon, 22 Jul 2019 16:01:20 +0000 (16:01 +0000)
committerbr <br@FreeBSD.org>
Mon, 22 Jul 2019 16:01:20 +0000 (16:01 +0000)
commit57b40e04b44d98e32b76eb86ac9c39e120747bb4
treef5738c6c464aca8ca1aaf4f9ac92a839be8d5a29tree | snapshot
parent1872e290af2d83bf50a4acd635fc54ea18d17cb9commit | diff
o Add support for BERI IOMMU device
o Add an experimental IOMMU support to xDMA framework

The BERI IOMMU device is the part of CHERI device-model project [1]. It
translates memory addresses for various BERI peripherals modelled in
software. It accepts FreeBSD/mips64 page directories format and manages
BERI TLB.

1. https://github.com/CTSRD-CHERI/device-model

Sponsored by: DARPA, AFRL
sys/conf/files diff | blob | history
sys/dev/altera/msgdma/msgdma.c diff | blob | history
sys/dev/xdma/xdma.c diff | blob | history
sys/dev/xdma/xdma.h diff | blob | history
sys/dev/xdma/xdma_if.m diff | blob | history
sys/dev/xdma/xdma_iommu.c [new file with mode: 0644] blob
sys/dev/xdma/xdma_sg.c diff | blob | history
sys/mips/beri/beri_iommu.c [new file with mode: 0644] blob
sys/mips/beri/files.beri diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.