sail/lib/nostd/stubs, branch sail2 Formal specification language for ISAs Now builds arm address translation with clang -target aarch64-none-eabi 2019-10-16T16:11:32+00:00 Alasdair Armstrong 2019-10-16T16:11:32+00:00 73edc3bd10ae10459260069407e1d1e464d334e2 Some builtins need properly implementing still Use modified spinlock implementation from hafnium with stdatomic, rather than assembly 
Some builtins need properly implementing still

Use modified spinlock implementation from hafnium with stdatomic,
rather than assembly
Make nostd Sail arena allocator thread safe (maybe) 2019-10-16T01:55:57+00:00 Alasdair 2019-10-16T01:55:57+00:00 3fd28557f9282385d5a4b0d1c3a4f24ec7c7de6c 






More work on bare-metal Sail
2019-10-15T18:16:15+00:00

Alasdair Armstrong

2019-10-15T18:16:15+00:00

478a236c020866f30fc1e42149550c0a7a17a2f7