Axel Heider

@kent-mcleod: do you want to merge this?

Do you expect this to match the hardware, so we'd put this in a `morello` folder and not `morello-qemu`

Since this created another PL011 driver, it could be put on top of https://github.com/seL4/util_libs/pull/157 to reduce the duplication a bit.

So, I'd say this PR is a step into that direction then?

It looks good, could you squash the commits?

See https://github.com/seL4/global-components/pull/25

This might be what is sampled on the MDIO bus due to the way it works. So the PHY you are trying top talk is mute. Can you narrow down...

Fixing the delays and make them use a timer seem a good improvement. We have some issues with these boards also, where some board appeared much more stable than others....

Just to clarify, it seem to me that when you enable the receive timeout interrupt and the FIFO, then the serial server should work again. You get an interrupt either...

> Hmm, it seems that the Zynq7000 has the same issues as the ZynqMP platforms ([70c2666](https://github.com/seL4/util_libs/commit/70c26661f621d56542b35212c02b2056a7d9e5a1)), so maybe we should also exclude the baud init on Zynq7000 platforms? Did this...