{"push_id":655033077,"size":31,"distinct_size":31,"ref":"refs/heads/sel4","head":"1ca326c88efe5f9888d85953a43542bd381b7ced","before":"883324f74b2e49acf74babe6da6fbaaf75f9d9f8","commits":[{"sha":"09169e3dbd39233af8f0da53ad4e2a5b50b204e9","author":{"email":"8d5d0d82dd97720d9b7e277b23c3cff21fa3f7c8@genode-labs.com","name":"Norman Feske"},"message":"sel4: minimalistic roottask","distinct":true,"url":"https://api.github.com/repos/nfeske/genode/commits/09169e3dbd39233af8f0da53ad4e2a5b50b204e9"},{"sha":"7f515448962d654e25976d15012ae7046316e8c4","author":{"email":"8d5d0d82dd97720d9b7e277b23c3cff21fa3f7c8@genode-labs.com","name":"Norman Feske"},"message":"sel4: first syscall invokation","distinct":true,"url":"https://api.github.com/repos/nfeske/genode/commits/7f515448962d654e25976d15012ae7046316e8c4"},{"sha":"960ce5e9f6f26ef65d03b042e19c21d65b5434aa","author":{"email":"8d5d0d82dd97720d9b7e277b23c3cff21fa3f7c8@genode-labs.com","name":"Norman Feske"},"message":"sel4: add patch for sel4/syscalls.h","distinct":true,"url":"https://api.github.com/repos/nfeske/genode/commits/960ce5e9f6f26ef65d03b042e19c21d65b5434aa"},{"sha":"7269a871a39f2084ebb07c1db67c561c98dd0b33","author":{"email":"8d5d0d82dd97720d9b7e277b23c3cff21fa3f7c8@genode-labs.com","name":"Norman Feske"},"message":"sel4: enable core console","distinct":true,"url":"https://api.github.com/repos/nfeske/genode/commits/7269a871a39f2084ebb07c1db67c561c98dd0b33"},{"sha":"8c7b17f291d7b96a998fee4dcd99f72de0fa044c","author":{"email":"8d5d0d82dd97720d9b7e277b23c3cff21fa3f7c8@genode-labs.com","name":"Norman Feske"},"message":"sel4: print boot info","distinct":true,"url":"https://api.github.com/repos/nfeske/genode/commits/8c7b17f291d7b96a998fee4dcd99f72de0fa044c"},{"sha":"9c8b55f677a7be459aaab78a142d6310d3d9bf1f","author":{"email":"8d5d0d82dd97720d9b7e277b23c3cff21fa3f7c8@genode-labs.com","name":"Norman Feske"},"message":"sel4: replace syscalls.patch by macros.patch","distinct":true,"url":"https://api.github.com/repos/nfeske/genode/commits/9c8b55f677a7be459aaab78a142d6310d3d9bf1f"},{"sha":"6a8aaa8c759260cc6dbcc0bb62a0ed3e2c922d9b","author":{"email":"8d5d0d82dd97720d9b7e277b23c3cff21fa3f7c8@genode-labs.com","name":"Norman Feske"},"message":"sel4: thread creation","distinct":true,"url":"https://api.github.com/repos/nfeske/genode/commits/6a8aaa8c759260cc6dbcc0bb62a0ed3e2c922d9b"},{"sha":"d1c1b2e922f00802fdf4e48abc93af1184e50673","author":{"email":"8d5d0d82dd97720d9b7e277b23c3cff21fa3f7c8@genode-labs.com","name":"Norman Feske"},"message":"sel4: preemptive scheduling","distinct":true,"url":"https://api.github.com/repos/nfeske/genode/commits/d1c1b2e922f00802fdf4e48abc93af1184e50673"},{"sha":"3ce1e8e05ffac62b943de4b33ddcb8cb69649b44","author":{"email":"8d5d0d82dd97720d9b7e277b23c3cff21fa3f7c8@genode-labs.com","name":"Norman Feske"},"message":"sel4: review of the first article","distinct":true,"url":"https://api.github.com/repos/nfeske/genode/commits/3ce1e8e05ffac62b943de4b33ddcb8cb69649b44"},{"sha":"6dfb1dec4526b4a23888917f8b8603fd42293fd4","author":{"email":"8d5d0d82dd97720d9b7e277b23c3cff21fa3f7c8@genode-labs.com","name":"Norman Feske"},"message":"sel4: IPC between two threads","distinct":true,"url":"https://api.github.com/repos/nfeske/genode/commits/6dfb1dec4526b4a23888917f8b8603fd42293fd4"},{"sha":"17c91c1bfefc412825bdc818d7707b7bcc1dee7f","author":{"email":"8d5d0d82dd97720d9b7e277b23c3cff21fa3f7c8@genode-labs.com","name":"Norman Feske"},"message":"sel4: adapt article to new version of run tool","distinct":true,"url":"https://api.github.com/repos/nfeske/genode/commits/17c91c1bfefc412825bdc818d7707b7bcc1dee7f"},{"sha":"a3da96901b77b520dc9541b0857f3fefb0e38700","author":{"email":"8d5d0d82dd97720d9b7e277b23c3cff21fa3f7c8@genode-labs.com","name":"Norman Feske"},"message":"sel4: capability delegation test","distinct":true,"url":"https://api.github.com/repos/nfeske/genode/commits/a3da96901b77b520dc9541b0857f3fefb0e38700"},{"sha":"7b5eb0648919652b187ac0156e156ee147cf6802","author":{"email":"8d5d0d82dd97720d9b7e277b23c3cff21fa3f7c8@genode-labs.com","name":"Norman Feske"},"message":"sel4: testing the unwrapping of capabilities","distinct":true,"url":"https://api.github.com/repos/nfeske/genode/commits/7b5eb0648919652b187ac0156e156ee147cf6802"},{"sha":"7a8de7ddb1b3bb5e1792fb8a2503d0b889499f4b","author":{"email":"8d5d0d82dd97720d9b7e277b23c3cff21fa3f7c8@genode-labs.com","name":"Norman Feske"},"message":"sel4: capability overmap test","distinct":true,"url":"https://api.github.com/repos/nfeske/genode/commits/7a8de7ddb1b3bb5e1792fb8a2503d0b889499f4b"},{"sha":"33c600025c57fb1e79b9b5bb8b0967e38d8e973b","author":{"email":"8d5d0d82dd97720d9b7e277b23c3cff21fa3f7c8@genode-labs.com","name":"Norman Feske"},"message":"sel4: use largest untyped range","distinct":true,"url":"https://api.github.com/repos/nfeske/genode/commits/33c600025c57fb1e79b9b5bb8b0967e38d8e973b"},{"sha":"8368bcfb4e2b68e759c26f003dbc529914aa7b13","author":{"email":"8d5d0d82dd97720d9b7e277b23c3cff21fa3f7c8@genode-labs.com","name":"Norman Feske"},"message":"sel4: test the use of memory mappings","distinct":true,"url":"https://api.github.com/repos/nfeske/genode/commits/8368bcfb4e2b68e759c26f003dbc529914aa7b13"},{"sha":"42f6455f188e3df0713b873b81c44a59dcd4a2d0","author":{"email":"8d5d0d82dd97720d9b7e277b23c3cff21fa3f7c8@genode-labs.com","name":"Norman Feske"},"message":"sel4: notes about virtual memory management","distinct":true,"url":"https://api.github.com/repos/nfeske/genode/commits/42f6455f188e3df0713b873b81c44a59dcd4a2d0"},{"sha":"2dedabc4119036794ab57fe5c72e1169f4e50711","author":{"email":"8d5d0d82dd97720d9b7e277b23c3cff21fa3f7c8@genode-labs.com","name":"Norman Feske"},"message":"sel4: never compile syscall-using code with -fPIC","distinct":true,"url":"https://api.github.com/repos/nfeske/genode/commits/2dedabc4119036794ab57fe5c72e1169f4e50711"},{"sha":"81ff2a994a07fbc8949b19be2c83eb6eb547fadc","author":{"email":"8d5d0d82dd97720d9b7e277b23c3cff21fa3f7c8@genode-labs.com","name":"Norman Feske"},"message":"sel4: move core console to core_printf library","distinct":true,"url":"https://api.github.com/repos/nfeske/genode/commits/81ff2a994a07fbc8949b19be2c83eb6eb547fadc"},{"sha":"eed1e403e44bdd8069e4424734742bfd4df358d9","author":{"email":"8d5d0d82dd97720d9b7e277b23c3cff21fa3f7c8@genode-labs.com","name":"Norman Feske"},"message":"sel4: don't use base-common.mk in test roottask\n\nTo build core and other Genode components, we will need to extend the\nbase-common.mk library with additions that conflict with the\nminimalistic root-task environment of test/sel4. To preserve the\nminimalistic root task, we need to decouple it from the base-common\nlibrary.","distinct":true,"url":"https://api.github.com/repos/nfeske/genode/commits/eed1e403e44bdd8069e4424734742bfd4df358d9"}]}