ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-26 00:41:08 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
11,435 Commits 2 Branches 70 Tags 87 MiB
8bccc6e68f
Commit Graph

2 Commits

Author SHA1 Message Date
Norman Feske
7e26d3ef3f Give diagnostic aid to callers of 'dma_addr' 
If the platform driver lacks the 'managing_system="yes"' attribute,
requests for DMA addresses return 0. This patch is meant to help
diagnosing such configuration issues.

Issue #2243
 2022-02-15 10:17:28 +01:00
Stefan Kalkowski
7db602faec os: deprecate platform API for x86, rpi, imx53 
* Move platform APIs to "legacy/" subdirectory
* Rename old pc, imx53, and rpi platform_drv
  to "legacy_*_platform_drv"

Fix #4359
 2022-01-19 12:38:12 +01:00