Stefan Kalkowski
|
224f5907b2
|
os: add platform driver for i.MX 8M Quad SoC
The new platform driver supports clock and power-domain settings per device.
IOMUX constroller settings are not part of the driver yet.
Fix #3863
|
2020-08-25 11:50:12 +02:00 |
|
Piotr Tworek
|
d8539af412
|
platform_session: Add missing include.
The code uses Genode::Attached_dataspace but fails to include header
defining this type.
Fixes #3824
|
2020-07-30 08:49:23 +02:00 |
|
Stefan Kalkowski
|
1a80f166c5
|
os: introduce common platform driver for ARM
Ref #3299
|
2020-05-27 11:56:46 +02:00 |
|
Norman Feske
|
29b8d609c9
|
Adjust file headers to refer to the AGPLv3
|
2017-02-28 12:59:29 +01:00 |
|
Sebastian Sumpf
|
1cfa14b2f2
|
os: add stack based backtrace support
Fixes odyssey #2001
|
2016-06-22 12:17:16 +02:00 |
|