denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-22 13:02:56 +01:00
Code Issues Packages Projects Releases Wiki Activity
Files
1aba330ae61ba25811e027cc78893c1e53d5cec6
genode/repos/os/include/platform_device
History
Norman Feske 468e7a825c base/cache.h: rename Cache_attribute to Cache 
The short name is better because the type will become prominently
visible at the API.

Issue #2243
2021-04-20 12:10:31 +02:00
..
capability.h
os: introduce common platform driver for ARM
2020-05-27 11:56:46 +02:00
device.h
base/cache.h: rename Cache_attribute to Cache
2021-04-20 12:10:31 +02:00