{"push_id":945924856,"size":1,"distinct_size":1,"ref":"refs/heads/issue#1312","head":"29ca24be897f2a25c67ebb760bbd1a650f30c83c","before":"5d79bee2a424b4b5d4e29c64c59976ab16288e99","commits":[{"sha":"29ca24be897f2a25c67ebb760bbd1a650f30c83c","author":{"email":"839b0aa02f9e1df6c36b6d7f6467c923611f5e7a@genode-labs.com","name":"Stefan Kalkowski"},"message":"fixup fixup \"hw: enable SMP for ARM Cortex A9\"","distinct":true,"url":"https://api.github.com/repos/skalk/genode/commits/29ca24be897f2a25c67ebb760bbd1a650f30c83c"}]}