| .. |
|
opteed
|
43f999a7e3
spd: opteed: enable NS_TIMER_SWITCH
|
5 jaren geleden |
|
pncd
|
b0980e5843
feat(services): add a SPD for ProvenCore
|
2 jaren geleden |
|
tlkd
|
86ba585300
Add wrapper for AT instruction
|
4 jaren geleden |
|
trusty
|
4ce3e99a33
fix: libc: use long for 64-bit types on aarch64
|
3 jaren geleden |
|
tspd
|
4d4821569d
test(el3-runtime): dit is retained on world switch
|
2 jaren geleden |
Florian Lugou