diff options
author | Catalin Marinas <catalin.marinas@arm.com> | 2020-10-15 16:42:01 +0100 |
---|---|---|
committer | Catalin Marinas <catalin.marinas@arm.com> | 2020-10-15 16:42:01 +0100 |
commit | 49bc145ce3a1b2d246915061fa0e98726765df44 (patch) | |
tree | 75588f0b214ba7790be7dbf2d08ab8954dc35767 | |
parent | 7d90d0772d3fd43e92162ac75438331bbcd66bdc (diff) | |
download | kernel-tla-49bc145ce3a1b2d246915061fa0e98726765df44.tar.gz |
Add fpsimd.tla to README
Signed-off-by: Catalin Marinas <catalin.marinas@arm.com>
-rw-r--r-- | README | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -64,3 +64,8 @@ arm64kpti.tla Model of the arm64 Linux KPTI support, checking the TLB separation (page table and ASIDs) between user, kernel, EFI mapping and idmap. + +fpsimd.tla +---------- + +Model of the FPSIMD/SVE register state saving and restoring. |