-
Olivier Deprez authored
* changes: fix(tc0): remove ffa and optee device tree node fix(tc0): set cactus-tertiary vcpu count to 1 fix(tc0): change UUID to string format
00aa63d1
* changes: fix(tc0): remove ffa and optee device tree node fix(tc0): set cactus-tertiary vcpu count to 1 fix(tc0): change UUID to string format