{"push_id":668249635,"size":294,"distinct_size":240,"ref":"refs/heads/staging","head":"f6c8931a26bf786394cf6581a5663fe3d7824caf","before":"1ce60644a9a74f3b7d928bd68cbc396db81671d3","commits":[{"sha":"4f887448c3cc4934d32dbdcd9f83e607acae5d8a","author":{"email":"6fc52b3016793b50d3aefbaa75e64f0d0c46673b@genode-labs.com","name":"Martin Stein"},"message":"hw & cortex_a9: clean-up board_support.h\n\nChange class name according to our common naming scheme and remove unnecessary\n'using' directive.\n\nRef #1467","distinct":false,"url":"https://api.github.com/repos/skalk/genode/commits/4f887448c3cc4934d32dbdcd9f83e607acae5d8a"},{"sha":"60e392f0c089b62f37718eecabc04295e99a5f83","author":{"email":"6fc52b3016793b50d3aefbaa75e64f0d0c46673b@genode-labs.com","name":"Martin Stein"},"message":"hw: support Wandboard Quad (i.MX6)\n\nThe port uses the Cortex-A9 private timer for the kernel and an EPIT as\nuser timer. It was successfully tested on the Wandboard Quad and the CuBox-i\nwith the signal test. It lacks L2-cache and Trustzone support by now.\n\nThanks to Praveen Srinivas (IIT Madras, India) and  Nikolay Golikov (Ksys Labs\nLLC, Russia). This work is partially based on their contributions.\n\nFix #1467","distinct":false,"url":"https://api.github.com/repos/skalk/genode/commits/60e392f0c089b62f37718eecabc04295e99a5f83"},{"sha":"70aa98d837f374b22c6b418e8d8b8db604b066f4","author":{"email":"6fc52b3016793b50d3aefbaa75e64f0d0c46673b@genode-labs.com","name":"Martin Stein"},"message":"hw: fix bug in cancellation of 'await_signal'\n\nThere were two bugs. First, the caller of Kernel::await_signal wasn't\nre-activated for scheduling. Second, the caller did not memorize that he\ndoesn't wait on a receiver anymore which had bad side effects on further\nsignal handling.\n\nFix #1459","distinct":false,"url":"https://api.github.com/repos/skalk/genode/commits/70aa98d837f374b22c6b418e8d8b8db604b066f4"},{"sha":"0e344c983034adb3d2cd2756748c9d2829545463","author":{"email":"ca884ed0f567bf5b3d4af1409f05acf14aeee32b@genode-labs.com","name":"Christian Prochaska"},"message":"vbox: support more mouse event combinations\n\nVirtualBox can receive absolute or relative mouse motion events from the\n'Input' service and the VM can support either or both of them. With this\npatch, more of the possible combinations are handled.\n\nFixes #1470","distinct":false,"url":"https://api.github.com/repos/skalk/genode/commits/0e344c983034adb3d2cd2756748c9d2829545463"},{"sha":"6fc372bcf456929595e0299ca1ff3143dfdd23ce","author":{"email":"8d5d0d82dd97720d9b7e277b23c3cff21fa3f7c8@genode-labs.com","name":"Norman Feske"},"message":"base: add const qualifiers","distinct":false,"url":"https://api.github.com/repos/skalk/genode/commits/6fc372bcf456929595e0299ca1ff3143dfdd23ce"},{"sha":"695ac957f4b45c8b3a06e42185fa5d3e18b3c2b9","author":{"email":"8d5d0d82dd97720d9b7e277b23c3cff21fa3f7c8@genode-labs.com","name":"Norman Feske"},"message":"base: add missing override annotations","distinct":false,"url":"https://api.github.com/repos/skalk/genode/commits/695ac957f4b45c8b3a06e42185fa5d3e18b3c2b9"},{"sha":"0d744354487ea612231a67b18015c27cdefdee12","author":{"email":"8d5d0d82dd97720d9b7e277b23c3cff21fa3f7c8@genode-labs.com","name":"Norman Feske"},"message":"base: remove Genode::parent_cap from the API\n\nComponents interact with their environments using the Genode::Env class\ninstead of directly using the parent capability.","distinct":false,"url":"https://api.github.com/repos/skalk/genode/commits/0d744354487ea612231a67b18015c27cdefdee12"},{"sha":"13a0c336d9b5bfe2fda65a14092f41bfc614929e","author":{"email":"8d5d0d82dd97720d9b7e277b23c3cff21fa3f7c8@genode-labs.com","name":"Norman Feske"},"message":"base: separate the API's 'Thread_base' constructor\n\nThe 'Thread_base' class is constructed differently in some special cases\nlike the main thread or a thread that use a distinct CPU session. The\nofficial API, however, should be clean from such artifacts. Hence, I\nseparated the official constructor from the other cases.","distinct":false,"url":"https://api.github.com/repos/skalk/genode/commits/13a0c336d9b5bfe2fda65a14092f41bfc614929e"},{"sha":"394fce110ec411cecd5295df86524174034274df","author":{"email":"8d5d0d82dd97720d9b7e277b23c3cff21fa3f7c8@genode-labs.com","name":"Norman Feske"},"message":"base: coding style","distinct":false,"url":"https://api.github.com/repos/skalk/genode/commits/394fce110ec411cecd5295df86524174034274df"},{"sha":"e1b44080903facb1e91eaa2556e02b4ad276a248","author":{"email":"8d5d0d82dd97720d9b7e277b23c3cff21fa3f7c8@genode-labs.com","name":"Norman Feske"},"message":"os: turn Xml_node::Attribute to Xml_attribute\n\nMoving the XML attribute class to the Genode namespace simplifies the\nAPI.","distinct":false,"url":"https://api.github.com/repos/skalk/genode/commits/e1b44080903facb1e91eaa2556e02b4ad276a248"},{"sha":"7441df33c99638efb23cbef520f66bbfefd911eb","author":{"email":"8d5d0d82dd97720d9b7e277b23c3cff21fa3f7c8@genode-labs.com","name":"Norman Feske"},"message":"Improvements of parse_cxx tool\n\nThis patch improves the C++ parser to accommodate the tools for\ngenerating the functional specification from source code:\n\n* Added support for class definitions prefixed with a\n  namespace as promoted by Genode's coding style.\n* Improves robustness of the parsing of function arguments by\n  considering nameless arguments in function declarations, default\n  values, varargs.\n* Consider const qualfiers in return types.\n* Added support for the override, constexpr keywords.\n* Parsing of overloaded operators.\n* Improved handling of type definitions.\n* Added parsing of template arguments.\n* Handling of template constructors.","distinct":false,"url":"https://api.github.com/repos/skalk/genode/commits/7441df33c99638efb23cbef520f66bbfefd911eb"},{"sha":"eaac3cc1bd70cf9b055313ee386844e95b08a5f0","author":{"email":"8d5d0d82dd97720d9b7e277b23c3cff21fa3f7c8@genode-labs.com","name":"Norman Feske"},"message":"Revised API documentation\n\nThis patch curates the API documentation to become suitable for the\nfunctional specificaton, which is partially generated from the header\nfiles.","distinct":false,"url":"https://api.github.com/repos/skalk/genode/commits/eaac3cc1bd70cf9b055313ee386844e95b08a5f0"},{"sha":"ea9c2199e853d97dc30790c62868efeaf9cf2902","author":{"email":"8d5d0d82dd97720d9b7e277b23c3cff21fa3f7c8@genode-labs.com","name":"Norman Feske"},"message":"base: extend emergency dataspace size\n\nThe emergency dataspace is used to accommodate the corner case where\na signal context capability is created while issuing the first\nresource request. Normally, the attempt to upgrade the signal-session\nquota under such a constrained situation would fail. By freeing the\nemergency dataspace in this situation, we regain enough quota to\nupgrade the signal session.\n\nThis is a follow up commit for \"base: Raise RAM quota of signal session\nto 16K\" and fixes the resource_request test on 64-bit platforms.","distinct":false,"url":"https://api.github.com/repos/skalk/genode/commits/ea9c2199e853d97dc30790c62868efeaf9cf2902"},{"sha":"26442f782b6251fb1e49097d393a8abd2b5fea38","author":{"email":"8d5d0d82dd97720d9b7e277b23c3cff21fa3f7c8@genode-labs.com","name":"Norman Feske"},"message":"os: add 'clock_rate' to Rpi platform driver","distinct":false,"url":"https://api.github.com/repos/skalk/genode/commits/26442f782b6251fb1e49097d393a8abd2b5fea38"},{"sha":"77cba65b7a1f92730a16475ec6cdea5c58faa23f","author":{"email":"8d5d0d82dd97720d9b7e277b23c3cff21fa3f7c8@genode-labs.com","name":"Norman Feske"},"message":"os: detection of standard-capacity SD cards\n\nThis patch enhances the generic SD-card protocol implementation in\nsd-card.h with the ability to handle the version 1.0 of the CSD register\n(containing the capacity information of older SD cards).","distinct":false,"url":"https://api.github.com/repos/skalk/genode/commits/77cba65b7a1f92730a16475ec6cdea5c58faa23f"},{"sha":"87f13d77c0627ef45b7a0503516ea7fa91e052f5","author":{"email":"8d5d0d82dd97720d9b7e277b23c3cff21fa3f7c8@genode-labs.com","name":"Norman Feske"},"message":"Omit timer RPC calls for usleep(0)","distinct":false,"url":"https://api.github.com/repos/skalk/genode/commits/87f13d77c0627ef45b7a0503516ea7fa91e052f5"},{"sha":"91e0a5d5dd92889cb6f53054f9c4861a498e8b23","author":{"email":"8d5d0d82dd97720d9b7e277b23c3cff21fa3f7c8@genode-labs.com","name":"Norman Feske"},"message":"SD-card driver for the Raspberry Pi\n\nThe driver operates in PIO mode only. Depending on the block size (512\nbytes versus 128 KiB), it has a troughput of 2 MiB/sec - 10 MiB/sec for\nreading and 173 KiB/sec - 8 MiB/sec for writing.\n\nFixes #1475","distinct":false,"url":"https://api.github.com/repos/skalk/genode/commits/91e0a5d5dd92889cb6f53054f9c4861a498e8b23"},{"sha":"8fd30b13ac0f7a61008015f4428cdeef50faa285","author":{"email":"8d5d0d82dd97720d9b7e277b23c3cff21fa3f7c8@genode-labs.com","name":"Norman Feske"},"message":"Consider Raspberry Pi in sd_card.run\n\nIssue #1475","distinct":false,"url":"https://api.github.com/repos/skalk/genode/commits/8fd30b13ac0f7a61008015f4428cdeef50faa285"},{"sha":"0fb5ce09180e8e94f3d4afe33a887d4eed0e4aaf","author":{"email":"93d2abd2bb9b2a7a2515f8c0a9d3577fe1d5b6dc@genode-labs.com","name":"Christian Helmuth"},"message":"base: run mp_server on hw_x86_64 as single core","distinct":false,"url":"https://api.github.com/repos/skalk/genode/commits/0fb5ce09180e8e94f3d4afe33a887d4eed0e4aaf"},{"sha":"0ef20f7ece011a98f8c474bd696d23e77c77e1ef","author":{"email":"93d2abd2bb9b2a7a2515f8c0a9d3577fe1d5b6dc@genode-labs.com","name":"Christian Helmuth"},"message":"tool/ports: curl timeout and retry in check.mk","distinct":false,"url":"https://api.github.com/repos/skalk/genode/commits/0ef20f7ece011a98f8c474bd696d23e77c77e1ef"}]}