br 57b40e04b4 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

2019-07-22 16:01:20 +00:00

..

atheros

Display CPU model in dmesg on mips targets

2019-05-24 01:43:35 +00:00

beri

o Add support for BERI IOMMU device

2019-07-22 16:01:20 +00:00

broadcom

add snps IP uart support / genaralize UART

2018-08-19 21:10:21 +00:00

cavium

octusb: fix detach loop over USB ports

2019-06-01 18:19:16 +00:00

conf

Add support for extended descriptor format to Altera mSGDMA driver.

2019-06-27 18:08:18 +00:00

include

mips: Implement basic pmap_kenter_device, pmap_kremove_device

2019-05-16 19:10:48 +00:00

ingenic

Fix compile errors with the CI20

2019-07-10 17:21:59 +00:00

malta

add snps IP uart support / genaralize UART

2018-08-19 21:10:21 +00:00

mediatek

sys: Remove DEV_RANDOM device option

2019-06-21 00:16:30 +00:00

mips

Don't pass error from syscallenter() to syscallret().

2019-07-15 21:25:16 +00:00

nlm

[mips] Fix error condition check that always evaluates to false

2019-01-25 20:14:28 +00:00