{"push_id":637863547,"size":9,"distinct_size":3,"ref":"refs/heads/experimental","head":"b49e1b553b4acd65b91553cee0ed2e4ea5d6a066","before":"4182c46517e38bfda8d93abdd5ed14366e731c8d","commits":[{"sha":"a5f61c7166c0f44cdc062b8599009a90f29e124d","author":{"email":"ca202ceded8e87de81a3d8b021e403576e85fb39@nicta.com.au","name":"akroh"},"message":"ARM: Fix hardcoded CPSR value for the idle thread","distinct":false,"url":"https://api.github.com/repos/seL4/seL4/commits/a5f61c7166c0f44cdc062b8599009a90f29e124d"},{"sha":"60ed6810956e54c62e70fc49f4de9bb59f1acd6e","author":{"email":"633b2244f14208eadcacccdae6953ef494f7e2e0@nicta.com.au","name":"Gerwin Klein"},"message":"CONTRIBUTING.md file for github","distinct":false,"url":"https://api.github.com/repos/seL4/seL4/commits/60ed6810956e54c62e70fc49f4de9bb59f1acd6e"},{"sha":"5ddff6cf22234fcf4fbeb51d2040728e2004fb3d","author":{"email":"633b2244f14208eadcacccdae6953ef494f7e2e0@nicta.com.au","name":"Gerwin Klein"},"message":"add Tim Newsham and Robbie Van Vossen to contributor list","distinct":false,"url":"https://api.github.com/repos/seL4/seL4/commits/5ddff6cf22234fcf4fbeb51d2040728e2004fb3d"},{"sha":"efcacb55ba71ffe932675739308f2501d8fc34ee","author":{"email":"5f4d60a10325301e20cf6cb211e5b9e06c328da3@nicta.com.au","name":"Sean Peters"},"message":"split the types header into basic and compound to resolve circular dependencies","distinct":false,"url":"https://api.github.com/repos/seL4/seL4/commits/efcacb55ba71ffe932675739308f2501d8fc34ee"},{"sha":"8abdf6c5ed5f37540cdbe28fcb5818dce1529c43","author":{"email":"5f4d60a10325301e20cf6cb211e5b9e06c328da3@nicta.com.au","name":"Sean Peters"},"message":"ia32: added the option to disable prefetchers","distinct":false,"url":"https://api.github.com/repos/seL4/seL4/commits/8abdf6c5ed5f37540cdbe28fcb5818dce1529c43"},{"sha":"e581882c3c2ac67152fcdb3efe4e9c91042cafb7","author":{"email":"7d36fef0b400ed2f3e51ad26acd67ce6eb58244b@nicta.com.au","name":"Adrian Danis"},"message":"trivial: style","distinct":false,"url":"https://api.github.com/repos/seL4/seL4/commits/e581882c3c2ac67152fcdb3efe4e9c91042cafb7"},{"sha":"b23e4842af62c2f2edaff7ac6ceb15e660715d1f","author":{"email":"7d36fef0b400ed2f3e51ad26acd67ce6eb58244b@nicta.com.au","name":"Adrian Danis"},"message":"Merge branch master into experimental\n\nConflicts:\n\tinclude/arch/arm/arch/machine/registerset.h\n\tinclude/types.h\n\tsrc/arch/ia32/kernel/boot.c","distinct":true,"url":"https://api.github.com/repos/seL4/seL4/commits/b23e4842af62c2f2edaff7ac6ceb15e660715d1f"},{"sha":"b131fb9f0e957a9ed0d5f61d14022cf9a998b88e","author":{"email":"7d36fef0b400ed2f3e51ad26acd67ce6eb58244b@nicta.com.au","name":"Adrian Danis"},"message":"Correct broken merge from master","distinct":true,"url":"https://api.github.com/repos/seL4/seL4/commits/b131fb9f0e957a9ed0d5f61d14022cf9a998b88e"},{"sha":"b49e1b553b4acd65b91553cee0ed2e4ea5d6a066","author":{"email":"52ca3cfc019d67b4091be27d7e8177782162dee2@nicta.com.au","name":"Matthew Fernandez"},"message":"Remove duplicate macro.","distinct":true,"url":"https://api.github.com/repos/seL4/seL4/commits/b49e1b553b4acd65b91553cee0ed2e4ea5d6a066"}]}