| #
099ad61d |
|
17-Jul-2019 |
Reto Achermann <reto.achermann@inf.ethz.ch> |
hake: increase memory for armv7 platforms to 2GB
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
|
| #
ce8f0c93 |
|
05-Mar-2019 |
Lukas Humbel <lukas.humbel@inf.ethz.ch> |
armv7: Enable serial driver on pandaboard
Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
|
| #
4bccd389 |
|
20-Feb-2019 |
Lukas Humbel <lukas.humbel@inf.ethz.ch> |
Turn serial driver into module and fix userspace GIC
Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
|
| #
de574cef |
|
13-Dec-2018 |
Lukas Humbel <lukas.humbel@inf.ethz.ch> |
armv7: Move distributor driver to userspace
Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
|