diff options
| author | Alasdair Armstrong | 2019-10-16 17:11:32 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2019-10-16 17:11:32 +0100 |
| commit | 73edc3bd10ae10459260069407e1d1e464d334e2 (patch) | |
| tree | 0e64b7b938729b0120f77c27cb14dbe9b6ad8c5a /lib/hol | |
| parent | 3fd28557f9282385d5a4b0d1c3a4f24ec7c7de6c (diff) | |
Now builds arm address translation with clang -target aarch64-none-eabi
Some builtins need properly implementing still
Use modified spinlock implementation from hafnium with stdatomic,
rather than assembly
Diffstat (limited to 'lib/hol')
0 files changed, 0 insertions, 0 deletions
