james.dad.town

latent genius

14 followers · 9 following

Djursholm, Sweden

Activity

June

0

0

0

0

July

0

0

0

0

August

0

0

0

0

September

0

0

0

0

October

0

0

0

0

November

0 pull requests

0 commits

7 new repositories

0 issues

Pinned repositories

OCaml tooling for tracing Xen guest address translation

23

SMT x86_64 TSO model checking and minimum fence synthesis

11

seL4 pager with proven memory isolation and frame reuse

12

View all repositories