{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":21977691,"defaultBranch":"master","name":"seL4","ownerLogin":"seL4","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2014-07-18T11:08:06.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/6878957?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1714616706.0","currentOid":""},"activityList":{"items":[{"before":"4c512f71f4e4bd44e69b675f4c593f393c4c0cb9","after":null,"ref":"refs/heads/remove_manual_dep","pushedAt":"2024-05-02T02:25:06.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Ivan-Velickovic","name":"Ivan Velickovic","path":"/Ivan-Velickovic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10481259?s=80&v=4"}},{"before":null,"after":"5f5586e08bd0e7eb21d4d510af9c6e1299ed9fbe","ref":"refs/heads/remove_more_python_deps","pushedAt":"2024-05-02T02:24:24.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Ivan-Velickovic","name":"Ivan Velickovic","path":"/Ivan-Velickovic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10481259?s=80&v=4"},"commit":{"message":"Remove unused Python imports in scripts\n\nSigned-off-by: Ivan Velickovic <i.velickovic@unsw.edu.au>","shortMessageHtmlLink":"Remove unused Python imports in scripts"}},{"before":null,"after":"4c512f71f4e4bd44e69b675f4c593f393c4c0cb9","ref":"refs/heads/remove_manual_dep","pushedAt":"2024-05-02T02:18:03.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Ivan-Velickovic","name":"Ivan Velickovic","path":"/Ivan-Velickovic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10481259?s=80&v=4"},"commit":{"message":"manual: remove dependency on 'six' Python package\n\nPython2 is no longer supported and hence the dependency\non six is no longer necessary.\n\nAccording to https://six.readthedocs.io/#six.string_types,\nsix.string_types is just str in Python3.\n\nAccording to https://six.readthedocs.io/#six.next in Python2.6\nand above, six.next is just next.\n\nSigned-off-by: Ivan Velickovic <i.velickovic@unsw.edu.au>","shortMessageHtmlLink":"manual: remove dependency on 'six' Python package"}},{"before":"fbd22431fdd0f7b33b2c6549b92e9335eb622d80","after":"29d7bd9666a2dfe8798ae6153a6c38e3a6487572","ref":"refs/heads/lsf37/tlb","pushedAt":"2024-05-02T01:13:34.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"Indanz","name":"Indan Zupancic","path":"/Indanz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32033668?s=80&v=4"},"commit":{"message":"Merge branch 'master' into lsf37/tlb","shortMessageHtmlLink":"Merge branch 'master' into lsf37/tlb"}},{"before":"d0eaf73f5875dd5f120b658fe89e82f27b9ab38f","after":null,"ref":"refs/heads/remove_python_deps","pushedAt":"2024-05-02T01:11:30.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Indanz","name":"Indan Zupancic","path":"/Indanz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32033668?s=80&v=4"}},{"before":"0260fba168b74dd2504c9447f2fa8da1161ead87","after":"4d7fc32a242c1a9d607467dab56d5ccc971554cf","ref":"refs/heads/master","pushedAt":"2024-05-02T01:11:29.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"Indanz","name":"Indan Zupancic","path":"/Indanz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32033668?s=80&v=4"},"commit":{"message":"Remove python2 support for core build tools\n\nDepedencies on Python2/3 cross support (such as six, past and future)\nare removed as only Python3 is supported at this point. Fewer\nexternal deps is a good thing.\n\nSigned-off-by: Ben Leslie <benno@brkawy.com>\nSigned-off-by: Ivan Velickovic <i.velickovic@unsw.edu.au>","shortMessageHtmlLink":"Remove python2 support for core build tools"}},{"before":"83c7ff02409e4682b97b5e2df52ab40de30a1a01","after":"fbd22431fdd0f7b33b2c6549b92e9335eb622d80","ref":"refs/heads/lsf37/tlb","pushedAt":"2024-05-02T00:41:53.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"lsf37","name":"Gerwin Klein","path":"/lsf37","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5506585?s=80&v=4"},"commit":{"message":"arm tlb: guard TLB lockdown count\n\nlockTLBEntry uses the global tlbLockCount as input without checking\nbounds. This is fine, because the function is called at most 4 times,\nbut this is only apparent when checking the entire possible calling\ncontext.\n\nMake this bound obvious locally by doing nothing if the function is\ncalled with values of tlbLockCount of 4 or greater. This is safe,\nbecause TLB lockdown is a performance change only. Also add an assert\nfor debug mode, becase we want to know if calling context ever changes.\n\nThis potential issue was reported by The UK's National Cyber Security\nCentre (NCSC).\n\nSigned-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>","shortMessageHtmlLink":"arm tlb: guard TLB lockdown count"}},{"before":null,"after":"83c7ff02409e4682b97b5e2df52ab40de30a1a01","ref":"refs/heads/lsf37/tlb","pushedAt":"2024-05-02T00:36:16.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"lsf37","name":"Gerwin Klein","path":"/lsf37","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5506585?s=80&v=4"},"commit":{"message":"arm tlb: guard TLB lockdown count\n\nlockTLBEntry uses the global tlbLockCount as input without checking\nbounds. This is fine, because the function is called at most 4 times,\nbut this is only apparent when checking the entire possible calling\ncontext.\n\nMake this bound obvious locally by doing nothing if the function is\ncalled with values of tlbLockCount of 4 or greater. This is safe,\nbecause TLB lockdown is a performance change only. Also add an assert\nfor debug mode, becase we want to know if calling context ever changes.\n\nThis potential issue was reported by The UK's National Cyber Security\nCentre (NCSC).\n\nSigned-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>","shortMessageHtmlLink":"arm tlb: guard TLB lockdown count"}},{"before":"6ac30c986149001c3300e96aa67affc505762dfd","after":"d0eaf73f5875dd5f120b658fe89e82f27b9ab38f","ref":"refs/heads/remove_python_deps","pushedAt":"2024-05-02T00:22:57.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Ivan-Velickovic","name":"Ivan Velickovic","path":"/Ivan-Velickovic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10481259?s=80&v=4"},"commit":{"message":"Remove python2 support for core build tools\n\nDepedencies on Python2/3 cross support (such as six, past and future)\nare removed as only Python3 is supported at this point. Fewer\nexternal deps is a good thing.\n\nSigned-off-by: Ben Leslie <benno@brkawy.com>\nSigned-off-by: Ivan Velickovic <i.velickovic@unsw.edu.au>","shortMessageHtmlLink":"Remove python2 support for core build tools"}},{"before":null,"after":"6ac30c986149001c3300e96aa67affc505762dfd","ref":"refs/heads/remove_python_deps","pushedAt":"2024-05-02T00:17:29.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Ivan-Velickovic","name":"Ivan Velickovic","path":"/Ivan-Velickovic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10481259?s=80&v=4"},"commit":{"message":"Remove python2 support for core build tools\n\nDepedencies on Python2/3 cross support (such as six, past and future)\nare removed as only Python3 is supported at this point. Fewer\nexternal deps is a good thing.\n\nSigned-off-by: Ben Leslie <benno@brkawy.com>","shortMessageHtmlLink":"Remove python2 support for core build tools"}},{"before":"7008430d4432c71a74b2a1da0afae58f7a8658df","after":"57975d485397ce1744f7163644dd530560d0b7ec","ref":"refs/heads/microkit","pushedAt":"2024-05-01T06:34:09.000Z","pushType":"push","commitsCount":59,"pusher":{"login":"Ivan-Velickovic","name":"Ivan Velickovic","path":"/Ivan-Velickovic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10481259?s=80&v=4"},"commit":{"message":"Merge branch 'master' into microkit","shortMessageHtmlLink":"Merge branch 'master' into microkit"}},{"before":"a58480425c5b4c7a3d5000c797f083bc7d5fd532","after":"0260fba168b74dd2504c9447f2fa8da1161ead87","ref":"refs/heads/master","pushedAt":"2024-04-28T00:26:11.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"lsf37","name":"Gerwin Klein","path":"/lsf37","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5506585?s=80&v=4"},"commit":{"message":"fix: invisible chars due to ANSI escape codes\n\nThe prior behavior would emit ANSI escape codes which set the terminal\nforeground color to black bold (`[30;1m`), leaving the default\nbackground color. On many terminals configured with a dark color scheme,\nthis creates black on black characters, i.e. the output is invisible.\n\nThis change moves to a better adapted output, where the output is only\nmarked as bold (`[1m]`), which works well on all color schemes.\n\nFixes #1243\n\nSigned-off-by: wucke13 <wucke13@gmail.com>","shortMessageHtmlLink":"fix: invisible chars due to ANSI escape codes"}},{"before":"de518206c087ae54dddd516b28724e8686307010","after":"c9f7a501051a64a8118dbd2b4fa8a1a6617cbbf7","ref":"refs/heads/michaelm/linked_list","pushedAt":"2024-04-15T03:09:04.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"lsf37","name":"Gerwin Klein","path":"/lsf37","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5506585?s=80&v=4"},"commit":{"message":"mcs: more uniformly handle ready and release queue\n\nThis introduces library functions for updating the linked lists which\nuse the tcbSchedNext and tcbSchedPrev pointers of a TCB, and uses these\nto perform the updates to the ready queues and the release queue.\n\nIn order to accommodate this, ksReleaseQueue is now of type tcb_queue_t.\n\nCo-authored-by: Gerwin Klein <gerwin.klein@proofcraft.systems>\nSigned-off-by: Michael McInerney <michael.mcinerney@proofcraft.systems>","shortMessageHtmlLink":"mcs: more uniformly handle ready and release queue"}},{"before":"3edc069b114c4d03884896747078c9f4dfc1333a","after":"de518206c087ae54dddd516b28724e8686307010","ref":"refs/heads/michaelm/linked_list","pushedAt":"2024-04-15T03:00:44.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"lsf37","name":"Gerwin Klein","path":"/lsf37","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5506585?s=80&v=4"},"commit":{"message":"mcs: more uniformly handle ready and release queue updates\n\nThis introduces library functions for updating the linked lists which\nuse the tcbSchedNext and tcbSchedPrev pointers of a TCB, and uses these\nto perform the updates to the ready queues and the release queue.\n\nIn order to accommodate this, ksReleaseQueue is now of type tcb_queue_t.\n\nCo-authored-by: Gerwin Klein <gerwin.klein@proofcraft.systems>\nSigned-off-by: Michael McInerney <michael.mcinerney@proofcraft.systems>","shortMessageHtmlLink":"mcs: more uniformly handle ready and release queue updates"}},{"before":"4bedb371acaecbaf7c05ea6030987141fe8fcb6d","after":"bf02b59c4650582a61ebe51f660beb2cc71b0c8c","ref":"refs/heads/axel-h/ci-base","pushedAt":"2024-04-12T18:09:02.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"axel-h","name":"Axel Heider","path":"/axel-h","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12140423?s=80&v=4"},"commit":{"message":"CI: debug\n\nSigned-off-by: Axel Heider <axelheider@gmx.de>","shortMessageHtmlLink":"CI: debug"}},{"before":"8c82535e50a6557102c74f962f1195015d1d56e1","after":"a58480425c5b4c7a3d5000c797f083bc7d5fd532","ref":"refs/heads/master","pushedAt":"2024-04-11T08:20:00.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"Indanz","name":"Indan Zupancic","path":"/Indanz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32033668?s=80&v=4"},"commit":{"message":"make SMP conditional check more general\n\nCheck for CONFIG_ENABLE_SMP_SUPPORT instead of checking for the\nnumber in CONFIG_MAX_NUM_NODES. This allows enabling SMP support\nwith just one node also.\n\nSigned-off-by: Axel Heider <axel.heider@codasip.com>","shortMessageHtmlLink":"make SMP conditional check more general"}},{"before":"f461e0fa1738061ec1e3a5a6c3c4c35c32b39121","after":"8c82535e50a6557102c74f962f1195015d1d56e1","ref":"refs/heads/master","pushedAt":"2024-04-11T08:06:00.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"Indanz","name":"Indan Zupancic","path":"/Indanz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32033668?s=80&v=4"},"commit":{"message":"fix rust stub generation script\n\n- fix: brackets in check\n- fix: use CONFIG_ENABLE_SMP_SUPPORT\n- conditions for CONFIG_MAX_NUM_NODES have been removed\n\nSigned-off-by: Axel Heider <axel.heider@codasip.com>","shortMessageHtmlLink":"fix rust stub generation script"}},{"before":"1c83ae62272f0bbbf435e1b8a1ffcd454e04fc08","after":"4bedb371acaecbaf7c05ea6030987141fe8fcb6d","ref":"refs/heads/axel-h/ci-base","pushedAt":"2024-04-11T02:25:06.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"axel-h","name":"Axel Heider","path":"/axel-h","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12140423?s=80&v=4"},"commit":{"message":"CI: debug\n\nSigned-off-by: Axel Heider <axelheider@gmx.de>","shortMessageHtmlLink":"CI: debug"}},{"before":"cd4422a1aec75ff038a3ff20f331578cc42e563a","after":"1c83ae62272f0bbbf435e1b8a1ffcd454e04fc08","ref":"refs/heads/axel-h/ci-base","pushedAt":"2024-04-10T23:54:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"axel-h","name":"Axel Heider","path":"/axel-h","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12140423?s=80&v=4"},"commit":{"message":"CI: debug\n\nSigned-off-by: Axel Heider <axelheider@gmx.de>","shortMessageHtmlLink":"CI: debug"}},{"before":"d8a25963b9b8fcbeb5723b59e6f43c1096f330c5","after":"cd4422a1aec75ff038a3ff20f331578cc42e563a","ref":"refs/heads/axel-h/ci-base","pushedAt":"2024-04-10T22:34:28.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"axel-h","name":"Axel Heider","path":"/axel-h","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12140423?s=80&v=4"},"commit":{"message":"CI: reduce load\n\nSigned-off-by: Axel Heider <axelheider@gmx.de>","shortMessageHtmlLink":"CI: reduce load"}},{"before":"2d3d01b1d430b8126e47065daa3706f496f91d15","after":"d8a25963b9b8fcbeb5723b59e6f43c1096f330c5","ref":"refs/heads/axel-h/ci-base","pushedAt":"2024-04-10T22:33:32.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"axel-h","name":"Axel Heider","path":"/axel-h","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12140423?s=80&v=4"},"commit":{"message":"CI: reduce load\n\nSigned-off-by: Axel Heider <axelheider@gmx.de>","shortMessageHtmlLink":"CI: reduce load"}},{"before":"bab355b812935d15ea26b3a90c4d3ac258cbc9fe","after":"2d3d01b1d430b8126e47065daa3706f496f91d15","ref":"refs/heads/axel-h/ci-base","pushedAt":"2024-04-10T22:32:40.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"axel-h","name":"Axel Heider","path":"/axel-h","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12140423?s=80&v=4"},"commit":{"message":"WIP remove workflows","shortMessageHtmlLink":"WIP remove workflows"}},{"before":"aba99c4501578c734e2cf668e9a0937c728d9109","after":null,"ref":"refs/heads/axel-h/ci-test","pushedAt":"2024-04-10T22:29:50.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"axel-h","name":"Axel Heider","path":"/axel-h","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12140423?s=80&v=4"}},{"before":null,"after":"aba99c4501578c734e2cf668e9a0937c728d9109","ref":"refs/heads/axel-h/ci-test","pushedAt":"2024-04-10T22:27:38.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"axel-h","name":"Axel Heider","path":"/axel-h","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12140423?s=80&v=4"},"commit":{"message":"dummy commit\n\nSigned-off-by: Axel Heider <axelheider@gmx.de>","shortMessageHtmlLink":"dummy commit"}},{"before":null,"after":"bab355b812935d15ea26b3a90c4d3ac258cbc9fe","ref":"refs/heads/axel-h/ci-base","pushedAt":"2024-04-10T22:26:04.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"axel-h","name":"Axel Heider","path":"/axel-h","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12140423?s=80&v=4"},"commit":{"message":"WIP remove workflows","shortMessageHtmlLink":"WIP remove workflows"}},{"before":"87112d8afb91f70fc24f4bf7616393822c59c063","after":"f461e0fa1738061ec1e3a5a6c3c4c35c32b39121","ref":"refs/heads/master","pushedAt":"2024-04-10T20:13:15.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"Indanz","name":"Indan Zupancic","path":"/Indanz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32033668?s=80&v=4"},"commit":{"message":"cmake: remove obsolete variable\n\nThis should not have been added in commit ad4ea6cd. And since\ncommit c642a398 this is handled by a python script anyway.\n\nSigned-off-by: Axel Heider <axel.heider@codasip.com>","shortMessageHtmlLink":"cmake: remove obsolete variable"}},{"before":"05d0f066200e5ae257cfca3cf65516c4e3eb19b4","after":"87112d8afb91f70fc24f4bf7616393822c59c063","ref":"refs/heads/master","pushedAt":"2024-04-09T20:02:21.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"Indanz","name":"Indan Zupancic","path":"/Indanz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32033668?s=80&v=4"},"commit":{"message":"libsel4: remove obsolete --cfile and --word-size\n\nThe word size can be derived from --arch\n\nSigned-off-by: Axel Heider <axel.heider@codasip.com>","shortMessageHtmlLink":"libsel4: remove obsolete --cfile and --word-size"}},{"before":"90bd5575b2eb7e3137eb807e8c0b4d1bc223cba1","after":"05d0f066200e5ae257cfca3cf65516c4e3eb19b4","ref":"refs/heads/master","pushedAt":"2024-04-09T18:55:35.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"Indanz","name":"Indan Zupancic","path":"/Indanz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32033668?s=80&v=4"},"commit":{"message":"fix type, add missing 'extern' keyword\n\nSigned-off-by: Axel Heider <axel.heider@codasip.com>","shortMessageHtmlLink":"fix type, add missing 'extern' keyword"}},{"before":"daf0afad715c275400e2a7785c1eb56b3e2521a1","after":"90bd5575b2eb7e3137eb807e8c0b4d1bc223cba1","ref":"refs/heads/master","pushedAt":"2024-04-09T08:35:54.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"Indanz","name":"Indan Zupancic","path":"/Indanz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32033668?s=80&v=4"},"commit":{"message":"aarch64: Rename armKSGlobalLogPDE\n\nRenamed armKSGlobalLogPDE to\narmKSGlobalLogPTE inline with RFC-10.\n\nSigned-off-by: Krishnan Winter <krishnanwinter1@gmail.com>","shortMessageHtmlLink":"aarch64: Rename armKSGlobalLogPDE"}},{"before":"ed5e7c8e560997bbb18ce9cbd37ba71da537af0f","after":"daf0afad715c275400e2a7785c1eb56b3e2521a1","ref":"refs/heads/master","pushedAt":"2024-04-08T14:50:34.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"Indanz","name":"Indan Zupancic","path":"/Indanz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32033668?s=80&v=4"},"commit":{"message":"trivial/cmake: fix typo in description\n\nSigned-off-by: Axel Heider <axel.heider@codasip.com>","shortMessageHtmlLink":"trivial/cmake: fix typo in description"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEP12BmQA","startCursor":null,"endCursor":null}},"title":"Activity · seL4/seL4"}