[PATCH v2 1/6] cpukit/aarch64: Use correct interrupt level types

[Sebastian Huber]

On 01/10/2021 06:24, Gedare Bloom wrote:
> If the rest of the patch set isn't ready, please split this out for
> separate submission. It looks fine to me.

Yes, sorry for the slow review. I somehow overlooked this patch set.

-- 
embedded brains GmbH
Herr Sebastian HUBER
Dornierstr. 4
82178 Puchheim
Germany
email: sebastian.huber at embedded-brains.de
phone: +49-89-18 94 741 - 16
fax:   +49-89-18 94 741 - 08

Registergericht: Amtsgericht München
Registernummer: HRB 157899
Vertretungsberechtigte Geschäftsführer: Peter Rasmussen, Thomas Dörfler
Unsere Datenschutzerklärung finden Sie hier:
https://embedded-brains.de/datenschutzerklaerung/