)]}' { "log": [ { "commit": "d961ae9e1b6cfa86a6c3a3e4b47b9101b8a807f0", "tree": "cfa8eda149d53a0462a2af4e11e5754b36778ffa", "parents": [ "bc943c9917ca02c21f162e76938b86a8325c64d9", "b3ae0e904060ea0276cee1ea58c2bcc52c46f3c6" ], "author": { "name": "Sam Leffler", "email": "sleffler@google.com", "time": "Sat Oct 08 20:02:55 2022 +0000" }, "committer": { "name": "Sam Leffler", "email": "sleffler@google.com", "time": "Sat Oct 08 20:02:55 2022 +0000" }, "message": "Merge remote-tracking branch \u0027refs/remotes/spacebeaker/master\u0027 into rebase\n\nChange-Id: I1faf98a068ee8dd9a8755371de5d449a5a38743b\n" }, { "commit": "b3ae0e904060ea0276cee1ea58c2bcc52c46f3c6", "tree": "3c7c23387ad01d77b5bab844abe6ca4d51a3519e", "parents": [ "b8e98a32ab92affff7b3bfe5277c415462824ca5" ], "author": { "name": "Sam Leffler", "email": "sleffler@google.com", "time": "Sun Oct 02 22:25:19 2022 +0000" }, "committer": { "name": "Sam Leffler", "email": "sleffler@google.com", "time": "Sun Oct 02 22:46:19 2022 +0000" }, "message": "libsel4platsupport: fix seL4_DebugPutChar detection\n\nSerial console support can fall back to using seL4_DebugPutChar. But\nit does this based on the kernel\u0027s CONFIG_DEBUG_BUILD config parameter\nwhich is wrong--the support is actually based on CONFIG_PRINTING which\nis implictly enabled when CONFIG_DEBUG_BUILD is set. This is confirmed\nby the fact the actual usage of seL4_DebugPutChar is conditional on\nCONFIG_PRINTING. Replace CONFIG_DEBUG_BUILD use with CONFIG_PRINTING.\n\nThis has the added benefit of fixing sel4test serial server test cases\nwhen a release build is used.\n\nBug: 250071553\n\nChange-Id: I50cc2c898be43ff95f4c8fa53c6ed7bb3446bca2\n" }, { "commit": "b8e98a32ab92affff7b3bfe5277c415462824ca5", "tree": "6537f80eea919d26261a2fc89f0f46d555831a9a", "parents": [ "897f12b3617a6234278bea16d31f7215532876e4" ], "author": { "name": "Sam Leffler", "email": "sleffler@google.com", "time": "Tue Sep 27 20:35:59 2022 +0000" }, "committer": { "name": "Sam Leffler", "email": "sleffler@google.com", "time": "Sun Oct 02 22:46:19 2022 +0000" }, "message": "seL4_libs: skip tainted untypeds during bootstrap\n\nUntyped slabs are marked tainted when the kerrnel uses them to back\nrootserver resources. They should not be used to bootstrap dynamic\nallocators because the current logic assumes untypeds provided by\nthe kernel are empty/unused (so mucking with them will corrupt the\nrootserver\u0027s VSpace).\n\nChange-Id: I1912131c1cc066224120f73d6abf9daed6b2ced7\n" }, { "commit": "897f12b3617a6234278bea16d31f7215532876e4", "tree": "982e1deeb233ff2d6ebf68bc2298c0a063b6faca", "parents": [ "5a16c9af059f84720ffb573884650d5bdd03d175" ], "author": { "name": "Sam Leffler", "email": "sleffler@google.com", "time": "Sun Oct 02 22:44:58 2022 +0000" }, "committer": { "name": "Sam Leffler", "email": "sleffler@google.com", "time": "Sun Oct 02 22:46:19 2022 +0000" }, "message": "seL4_libs: disable upload checks\n\nAdd PREUPLOAD.cfg as this repo is a fork of upstream and we do not\nenforce our coding style.\n\nChange-Id: I245dbd1cfff881abc3e0936a697163c4cd44b727\n" }, { "commit": "5a16c9af059f84720ffb573884650d5bdd03d175", "tree": "84f053be1b1ef3617c5ab841f01fe1edf48930cd", "parents": [ "673aeac16d43f17c4227c6c23b8a8f3d8b0bc9f2" ], "author": { "name": "Axel Heider", "email": "axelheider@gmx.de", "time": "Mon Mar 15 06:28:58 2021 +0100" }, "committer": { "name": "Sam Leffler", "email": "sleffler@google.com", "time": "Thu Jan 27 21:42:00 2022 +0000" }, "message": "fail cap checks if CONFIG_DEBUG_BUILD is not set\n\nSigned-off-by: Axel Heider \u003caxelheider@gmx.de\u003e\n(cherry picked from commit fcbc1944a948c651cabaa509c55dc0dcdf3ed377)\n\nChange-Id: I75c19cd32e6712bb56c88c59d3cd36751297a289\n" }, { "commit": "bc943c9917ca02c21f162e76938b86a8325c64d9", "tree": "a761bd5b7913c106234cb9c16738daaf033019ad", "parents": [ "e09ca438811bc6a4888d96f7abf56787eb74441d" ], "author": { "name": "Kent McLeod", "email": "kent@kry10.com", "time": "Thu Nov 25 17:22:30 2021 +1100" }, "committer": { "name": "Gerwin Klein", "email": "gerwin@doclsf.de", "time": "Sun Nov 28 15:01:43 2021 +1100" }, "message": "sel4debug,caps: Use the write print modifer\n\nUse the correct libsel4 print modifier for the seL4 type.\n\nSigned-off-by: Kent McLeod \u003ckent@kry10.com\u003e\n" }, { "commit": "e09ca438811bc6a4888d96f7abf56787eb74441d", "tree": "cae6ee2aa7e0967650819d1d9cca142d1d95e714", "parents": [ "14d3c94f5164c993033a35a5d9e23ba6dcf12f5f" ], "author": { "name": "Kent McLeod", "email": "kent@kry10.com", "time": "Thu Nov 25 17:22:01 2021 +1100" }, "committer": { "name": "Gerwin Klein", "email": "gerwin@doclsf.de", "time": "Sun Nov 28 15:01:43 2021 +1100" }, "message": "sel4debug,backtrace: Resolve attribute warning\n\nClang warns that this attribute was being ignored.\n\nSigned-off-by: Kent McLeod \u003ckent@kry10.com\u003e\n" }, { "commit": "14d3c94f5164c993033a35a5d9e23ba6dcf12f5f", "tree": "d85dba945b6ec7873adbc700ff9910caff34866b", "parents": [ "1a065ff822d8725c67d24593083d38ec7422485d" ], "author": { "name": "Kent McLeod", "email": "kent@kry10.com", "time": "Wed Sep 15 13:56:34 2021 +1000" }, "committer": { "name": "Kent McLeod", "email": "kent-mcleod@users.noreply.github.com", "time": "Thu Sep 30 18:11:23 2021 +1000" }, "message": ".github: Remove ARMv6 tests\n\nARMv6 is no longer supported.\n\nSigned-off-by: Kent McLeod \u003ckent@kry10.com\u003e\n" }, { "commit": "1a065ff822d8725c67d24593083d38ec7422485d", "tree": "9a039b3890fda10fb11e56a4e4a63c31fa5aca78", "parents": [ "3678de2c63c270d2e7ed9c56aa40c2e4ba2a5735" ], "author": { "name": "Kent McLeod", "email": "kent@kry10.com", "time": "Wed Sep 15 12:47:22 2021 +1000" }, "committer": { "name": "Kent McLeod", "email": "kent-mcleod@users.noreply.github.com", "time": "Thu Sep 30 18:11:23 2021 +1000" }, "message": "libsel4bench: Remove ARMv6 and arm1136jf-s support\n\nRemove support for ARMv6 and the only CPU we support for that\narchitecture. This is because support is being removed from the kernel\nafter removal of the only ARMv6 platform, kzm/imx31.\n\nSigned-off-by: Kent McLeod \u003ckent@kry10.com\u003e\n" }, { "commit": "3678de2c63c270d2e7ed9c56aa40c2e4ba2a5735", "tree": "5edfcfc43f0c26c95d0cb80e430ee7571a35f08e", "parents": [ "5b268cceca13d5ba0f16bee624e3973d46ba8f30" ], "author": { "name": "Gerwin Klein", "email": "gerwin.klein@proofcraft.systems", "time": "Mon Sep 13 11:55:28 2021 +1000" }, "committer": { "name": "Gerwin Klein", "email": "gerwin@doclsf.de", "time": "Mon Sep 13 14:31:38 2021 +1000" }, "message": "github: style check on diff only for this repo\n\nThis repository is not yet fully style-clean, and the policy is to\nupdate files as we touch them, not in one big go. Until we have reached\na fully style-clean state, we should check only the diff on push, not\nall files.\n\nSigned-off-by: Gerwin Klein \u003cgerwin.klein@proofcraft.systems\u003e\n" }, { "commit": "5b268cceca13d5ba0f16bee624e3973d46ba8f30", "tree": "5c9695461ab2cfe5cb082582893a8265c37a885d", "parents": [ "707000bbe3a927cbd84b6b33a98419c09e68d801" ], "author": { "name": "Ben Leslie", "email": "benno@brkawy.com", "time": "Sun Sep 27 18:22:48 2020 +0000" }, "committer": { "name": "Gerwin Klein", "email": "gerwin@doclsf.de", "time": "Thu Sep 09 15:37:04 2021 +1000" }, "message": "Add cpu/events.h header for Cortex-A35\n\nSigned-off-by: Ben Leslie \u003cbenno@brkawy.com\u003e\n" }, { "commit": "707000bbe3a927cbd84b6b33a98419c09e68d801", "tree": "94ca4af45583bbd9514afb463cda9f068403e1e5", "parents": [ "dd02025f89e9813fd39ff875d3c81056ccfc0bbc" ], "author": { "name": "Curtis Millar", "email": "2741168+xurtis@users.noreply.github.com", "time": "Tue Sep 07 16:15:24 2021 +1000" }, "committer": { "name": "GitHub", "email": "noreply@github.com", "time": "Tue Sep 07 16:15:24 2021 +1000" }, "message": "Do not disable counters when reading on aarch64 (#32)\n\nIf the cycle counter is disabled during a read, the operation can be\r\npreempted and lose the count of cycles for the duration of the\r\npreemption.\r\n\r\nSigned-off-by: Curtis Millar \u003ccurtis.millar@data61.csiro.au\u003e\r\n" }, { "commit": "dd02025f89e9813fd39ff875d3c81056ccfc0bbc", "tree": "19462b0356d05fc1a5dca507699b685a7439df8f", "parents": [ "6de224998b2482bae13685251ef13bf76a50f5a1" ], "author": { "name": "Christopher Guikema", "email": "chrisguikema@users.noreply.github.com", "time": "Mon Sep 06 02:19:41 2021 -0400" }, "committer": { "name": "GitHub", "email": "noreply@github.com", "time": "Mon Sep 06 16:19:41 2021 +1000" }, "message": "sel4utils: properly cache ept pages (#43)\n\nA kernel bug previously always cached EPT page regardless of the\r\ncacheable flag. When the bug was fixed, this function would always map\r\nEPT pages as uncacheable, due to the attributes difference between an\r\nEPT map and a normal page map. This commit checks if the function is\r\nmapping an EPT and provides the proper cache attribute to the kernel.\r\n\r\nSigned-off-by: Chris Guikema \u003cchris.guikema@dornerworks.com\u003e" }, { "commit": "6de224998b2482bae13685251ef13bf76a50f5a1", "tree": "643e4dcd6af22d2f3fabd13a05788a84a6c27f30", "parents": [ "d9667bbb5875dc4d954f79f7dc07a891cf38ee7c" ], "author": { "name": "Gerwin Klein", "email": "gerwin.klein@proofcraft.systems", "time": "Mon Aug 30 21:45:49 2021 +1000" }, "committer": { "name": "GitHub", "email": "noreply@github.com", "time": "Mon Aug 30 21:45:49 2021 +1000" }, "message": "trivial: fix compiler warning (#41)\n\nSigned-off-by: Gerwin Klein \u003cgerwin.klein@proofcraft.systems\u003e" }, { "commit": "d9667bbb5875dc4d954f79f7dc07a891cf38ee7c", "tree": "9890ce979a34306f93d43b0a18e706b589fef6fc", "parents": [ "9bc1a66dd7e7971cab97f300bb563110ee213f61" ], "author": { "name": "Gerwin Klein", "email": "gerwin.klein@proofcraft.systems", "time": "Fri Aug 27 14:12:21 2021 +1000" }, "committer": { "name": "GitHub", "email": "noreply@github.com", "time": "Fri Aug 27 14:12:21 2021 +1000" }, "message": "github: trigger main test on push to master (#40)\n\nThe trigger action sends repository_dispatch events to all\r\nmain test repositories of the manifests this repo is part of.\r\n\r\nSigned-off-by: Gerwin Klein \u003cgerwin.klein@proofcraft.systems\u003e" }, { "commit": "9bc1a66dd7e7971cab97f300bb563110ee213f61", "tree": "a07a8e9c77fe2f0467eed68c47184bbeab265780", "parents": [ "d6674667a0df02bba625397aca5cb457d35ccd37" ], "author": { "name": "Axel Heider", "email": "axelheider@gmx.de", "time": "Fri Aug 13 02:13:20 2021 +0200" }, "committer": { "name": "Gerwin Klein", "email": "gerwin@doclsf.de", "time": "Fri Aug 13 14:57:37 2021 +1000" }, "message": "avoid build warning if CONFIG_IOMMU is not defined\n\nThe function vspace_map_io() is only used when CONFIG_IOMMU is defined,\nthus the clang build warning \"control reaches end of non-void function\n[-Wreturn-type]\" can be avoided easily when this function only exists\nwhen it is needed.\n\nSigned-off-by: Axel Heider \u003caxelheider@gmx.de\u003e" }, { "commit": "d6674667a0df02bba625397aca5cb457d35ccd37", "tree": "8546152335860016752ae8c91d194c877a6b0492", "parents": [ "99b96310018d9f614ccf73cb6b5595c52041696a" ], "author": { "name": "Axel Heider", "email": "axelheider@gmx.de", "time": "Fri Aug 13 02:05:28 2021 +0200" }, "committer": { "name": "Gerwin Klein", "email": "gerwin@doclsf.de", "time": "Fri Aug 13 14:57:37 2021 +1000" }, "message": "trivial: style\n\nSigned-off-by: Axel Heider \u003caxelheider@gmx.de\u003e" }, { "commit": "99b96310018d9f614ccf73cb6b5595c52041696a", "tree": "dc9294bc540982030652a07ba9be009013e7634d", "parents": [ "cf104b85d7db7996618ec39df6f137b5be500ced" ], "author": { "name": "Gerwin Klein", "email": "gerwin.klein@proofcraft.systems", "time": "Mon Jul 05 12:39:31 2021 +1000" }, "committer": { "name": "Gerwin Klein", "email": "gerwin@doclsf.de", "time": "Wed Jul 07 14:40:45 2021 +1000" }, "message": "Add GitHub action for sel4test simulation\n\nSigned-off-by: Gerwin Klein \u003cgerwin.klein@proofcraft.systems\u003e\n" }, { "commit": "cf104b85d7db7996618ec39df6f137b5be500ced", "tree": "a6b1460e1097fdc002b2744ab888a126480947e6", "parents": [ "b7b70df4376f934846325027e357ec0e4f52cc8a" ], "author": { "name": "Kent McLeod", "email": "kent@kry10.com", "time": "Wed Jun 02 13:02:07 2021 +1000" }, "committer": { "name": "Kent McLeod", "email": "kent-mcleod@users.noreply.github.com", "time": "Sat Jun 19 13:41:58 2021 +1000" }, "message": "libsel4utils: Fix alloc leak in elf loading\n\nThis elfloading implementation guarantees that it doesn\u0027t leave\nallocations behind in the loader allocators even if it fails. Fix area\nwhere this doesn\u0027t occur.\n\nSigned-off-by: Kent McLeod \u003ckent@kry10.com\u003e\n" }, { "commit": "b7b70df4376f934846325027e357ec0e4f52cc8a", "tree": "defaea8e563a282fbc63230175dba3c796ce0e1d", "parents": [ "9c0d209d67adda2558db28f5abbae994770d0340" ], "author": { "name": "Axel Heider", "email": "axel.heider@hensoldt-cyber.de", "time": "Mon Jun 14 16:26:43 2021 +0200" }, "committer": { "name": "Kent McLeod", "email": "kent-mcleod@users.noreply.github.com", "time": "Sat Jun 19 12:26:09 2021 +1000" }, "message": "libsel4bench: fix syntax errors for RISC-V rv32\n\nSigned-off-by: Axel Heider \u003caxel.heider@hensoldt-cyber.de\u003e" }, { "commit": "9c0d209d67adda2558db28f5abbae994770d0340", "tree": "ac747185bb85dce347d9ddcf628d3457970bfdac", "parents": [ "96edd188f2d900a045561e4af484535180b91f38" ], "author": { "name": "Boyd Multerer", "email": "boydm@kry10.com", "time": "Thu Jul 11 20:58:22 2019 +1200" }, "committer": { "name": "Kent McLeod", "email": "kent-mcleod@users.noreply.github.com", "time": "Sat May 15 13:29:40 2021 +1000" }, "message": "libsel4utils: Fix documentation bug\n\nUpdate the documented order of the vspace_root parameter\nso that it matches the function signature\n\nSigned-off-by: Kent McLeod \u003ckent@kry10.com\u003e\n" }, { "commit": "96edd188f2d900a045561e4af484535180b91f38", "tree": "2b7b8f588d2b2f63dd431474d002b5682ba4f32b", "parents": [ "5bb4d746f05d11521c830d5d9849b5a1903855d9" ], "author": { "name": "Nils Wistoff", "email": "nwistoff@iis.ee.ethz.ch", "time": "Fri Oct 09 17:55:25 2020 +0200" }, "committer": { "name": "Kent McLeod", "email": "kent-mcleod@users.noreply.github.com", "time": "Fri May 14 21:10:40 2021 +1000" }, "message": "libsel4utils: Instruction fence after bootstrap\n\nOn RISC-V platforms, perform an instruction fence after copying the text\nsegment into a new vspace. We need to make sure the text segment is\nwritten back from the L1D$ to main memory and visible to the I$.\n\nSigned-off-by: Nils Wistoff \u003cnwistoff@iis.ee.ethz.ch\u003e\n" }, { "commit": "5bb4d746f05d11521c830d5d9849b5a1903855d9", "tree": "bf210d95692975aafad5da178cd2e2968f157717", "parents": [ "d62a8e6f58c520fdfc728854675c550e974026e5" ], "author": { "name": "Axel Heider", "email": "axelheider@gmx.de", "time": "Sun Apr 04 04:00:37 2021 +0200" }, "committer": { "name": "Kent McLeod", "email": "kent-mcleod@users.noreply.github.com", "time": "Fri May 14 14:02:12 2021 +1000" }, "message": "libsel4debug: use SEL4_PRIx_word to print regs\n\nSigned-off-by: Axel Heider \u003caxelheider@gmx.de\u003e" }, { "commit": "d62a8e6f58c520fdfc728854675c550e974026e5", "tree": "e73fd5a9a04eb9780c84826f0d217739713d608d", "parents": [ "c0724b90939ecf21babb9dd20f72130df07b2a8a" ], "author": { "name": "Axel Heider", "email": "axelheider@gmx.de", "time": "Sun Apr 04 03:58:46 2021 +0200" }, "committer": { "name": "Kent McLeod", "email": "kent-mcleod@users.noreply.github.com", "time": "Fri May 14 14:02:12 2021 +1000" }, "message": "libsel4debug: improve debug output\n\nPrint the colon after the register name.\n\nSigned-off-by: Axel Heider \u003caxelheider@gmx.de\u003e" }, { "commit": "c0724b90939ecf21babb9dd20f72130df07b2a8a", "tree": "c72e6b0d2a035f9c7636c790f4dadc7f161fee1f", "parents": [ "32fdb53768a18d00e39895af6c131b9d7528aedc" ], "author": { "name": "Axel Heider", "email": "axelheider@gmx.de", "time": "Fri Mar 12 18:22:27 2021 +0100" }, "committer": { "name": "Oliver Scott", "email": "oliverwmscott@gmail.com", "time": "Tue Apr 06 09:24:07 2021 +1000" }, "message": "libsel4utils: use const qualifier\n\nAdd const qualifier wherever applicable and fix existing usage to\ndo it properly.\n\nSigned-off-by: Axel Heider \u003caxelheider@gmx.de\u003e" }, { "commit": "32fdb53768a18d00e39895af6c131b9d7528aedc", "tree": "b02b91a45a22da704f1b9845b7526328acba038d", "parents": [ "fcbc1944a948c651cabaa509c55dc0dcdf3ed377" ], "author": { "name": "Axel Heider", "email": "axel.heider@hensoldt-cyber.de", "time": "Sat Feb 13 19:21:07 2021 +0100" }, "committer": { "name": "Kent McLeod", "email": "kent-mcleod@users.noreply.github.com", "time": "Wed Mar 31 07:56:10 2021 +1100" }, "message": "Cortex-A72: add events.h\n\nThis allows sel4bench for be build for RasPi4\n\nSigned-off-by: Axel Heider \u003caxel.heider@hensoldt-cyber.de\u003e" }, { "commit": "fcbc1944a948c651cabaa509c55dc0dcdf3ed377", "tree": "26ce84de5d4a8c4c9033be0f2b47040e8eb25387", "parents": [ "d5b36675f890eeda58a3bb2b8d158dc683dcc803" ], "author": { "name": "Axel Heider", "email": "axelheider@gmx.de", "time": "Mon Mar 15 06:28:58 2021 +0100" }, "committer": { "name": "Kent McLeod", "email": "kent-mcleod@users.noreply.github.com", "time": "Thu Mar 25 16:51:15 2021 +1100" }, "message": "fail cap checks if CONFIG_DEBUG_BUILD is not set\n\nSigned-off-by: Axel Heider \u003caxelheider@gmx.de\u003e" }, { "commit": "d5b36675f890eeda58a3bb2b8d158dc683dcc803", "tree": "0bced03bb8a9c75d9243fd0d0ff5a3db453942fb", "parents": [ "7e93207f5d852a3ca3ed4a6f2eb534f23fddba4d" ], "author": { "name": "Damon Lee", "email": "Damon.Lee@data61.csiro.au", "time": "Wed Mar 24 15:50:41 2021 +1100" }, "committer": { "name": "Damon Lee", "email": "Damon.Lee@data61.csiro.au", "time": "Wed Mar 24 16:41:43 2021 +1100" }, "message": "libsel4debug: Correct aarch32 registers names\n\nSomehow along the way, some of the names of the registers of the\nkernel\u0027s user context for aarch32 got changed and also some other\nregisters got added. This file wasn\u0027t kept updated in regards to user\ncontext change. This commit updates it so that it reflects the user\ncontext changes for aarch32.\n\nSigned-off-by: Damon Lee \u003cDamon.Lee@data61.csiro.au\u003e\n" }, { "commit": "7e93207f5d852a3ca3ed4a6f2eb534f23fddba4d", "tree": "8666c2dca117f812ddc79e8250a446a6e341cd3c", "parents": [ "600fe15be5d8d28b68a1f85fa4e5e8d131fde1bc" ], "author": { "name": "Damon Lee", "email": "Damon.Lee@data61.csiro.au", "time": "Wed Mar 24 15:48:16 2021 +1100" }, "committer": { "name": "Damon Lee", "email": "Damon.Lee@data61.csiro.au", "time": "Wed Mar 24 16:41:37 2021 +1100" }, "message": "libsel4debug: Guard functions using cap identify\n\nThe cap identification function only exists on builds when the kernel is\nin debug mode. In release, this function doesn\u0027t exist and the compiler\nraises warnings. This commit adds the preprocessor guards to avoid\ncompiling these functions when the cap identification function doesn\u0027t\nexist.\n\nSigned-off-by: Damon Lee \u003cDamon.Lee@data61.csiro.au\u003e\n" }, { "commit": "600fe15be5d8d28b68a1f85fa4e5e8d131fde1bc", "tree": "5bad2e50c78760ffc2eef4674d66656b67cc915d", "parents": [ "93537130a7c9dd7f5b816e745544d030a9837c61" ], "author": { "name": "Gerwin Klein", "email": "kleing@unsw.edu.au", "time": "Wed Feb 10 19:19:17 2021 +1100" }, "committer": { "name": "Gerwin Klein", "email": "kleing@unsw.edu.au", "time": "Wed Feb 10 19:30:35 2021 +1100" }, "message": "convert to SPDX license headers\n\nSigned-off-by: Gerwin Klein \u003ckleing@unsw.edu.au\u003e\n" }, { "commit": "93537130a7c9dd7f5b816e745544d030a9837c61", "tree": "c8da4dcb734a93e94a737529acb2a1d645f22c90", "parents": [ "3c18332edd44adefd848c895053a538c68106677" ], "author": { "name": "Gerwin Klein", "email": "kleing@unsw.edu.au", "time": "Wed Feb 10 19:11:32 2021 +1100" }, "committer": { "name": "Gerwin Klein", "email": "kleing@unsw.edu.au", "time": "Wed Feb 10 19:19:52 2021 +1100" }, "message": "seL4 foundation setup\n\nSigned-off-by: Gerwin Klein \u003ckleing@unsw.edu.au\u003e\n" }, { "commit": "3c18332edd44adefd848c895053a538c68106677", "tree": "cbcb47b062f7eebc47358424c96103de3393e9cb", "parents": [ "ffb04e4eb9ac10b3d22d35b0cfa3dc198436998b" ], "author": { "name": "Curtis Millar", "email": "curtis@curtism.me", "time": "Tue Nov 10 16:35:11 2020 +1100" }, "committer": { "name": "Curtis Millar", "email": "curtis@curtism.me", "time": "Tue Nov 10 16:35:21 2020 +1100" }, "message": "trivial: fix style\n\nSigned-off-by: Curtis Millar \u003ccurtis@curtism.me\u003e\n" }, { "commit": "ffb04e4eb9ac10b3d22d35b0cfa3dc198436998b", "tree": "bdec3d77b1516096ff356a0b50014d3385c522ce", "parents": [ "74de7febfdf927d169bc433f736a5c2b8e30725b" ], "author": { "name": "Curtis Millar", "email": "curtis@curtism.me", "time": "Tue Nov 10 16:29:37 2020 +1100" }, "committer": { "name": "Curtis Millar", "email": "curtis@curtism.me", "time": "Tue Nov 10 16:30:00 2020 +1100" }, "message": "trivial: Use libsel4 define for logbuffer\n\nSigned-off-by: Curtis Millar \u003ccurtis@curtism.me\u003e\n" }, { "commit": "74de7febfdf927d169bc433f736a5c2b8e30725b", "tree": "ae5b10feec125c2e07319409f90d81a8fe38f70f", "parents": [ "10aec5731527ae9bda801292671cf629649386bd" ], "author": { "name": "Luca(Wei) Chen", "email": "Wei@cvluca.com", "time": "Tue Sep 15 09:35:50 2020 +0800" }, "committer": { "name": "Curtis Millar", "email": "curtis@curtism.me", "time": "Wed Nov 04 15:51:50 2020 +1100" }, "message": "trivial: typo\n\nSigned-off-by: Luca(Wei) Chen \u003cwei@cvluca.com\u003e\n" }, { "commit": "10aec5731527ae9bda801292671cf629649386bd", "tree": "bc3733f47691eb35cce1f80657acb18324681a10", "parents": [ "93fa27ec3387b66f7c3c33e36f86011d05bf76f4" ], "author": { "name": "Oliver Scott", "email": "Oliver.Scott@data61.csiro.au", "time": "Mon Oct 26 22:23:28 2020 +1100" }, "committer": { "name": "Oliver Scott", "email": "Oliver.Scott@data61.csiro.au", "time": "Mon Oct 26 22:23:53 2020 +1100" }, "message": "trivial: Add Arm smmu guard\n\nSigned-off-by: Oliver Scott \u003cOliver.Scott@data61.csiro.au\u003e\n" }, { "commit": "93fa27ec3387b66f7c3c33e36f86011d05bf76f4", "tree": "f19c6a647389ea21f79d5de62371377894ddf3e6", "parents": [ "0182d5e0bacd089692e22230217cdb70be58a7cf" ], "author": { "name": "Qian Ge", "email": "qian.ge@data61.csiro.au", "time": "Wed Oct 02 14:41:32 2019 +1000" }, "committer": { "name": "Oliver Scott", "email": "Oliver.Scott@data61.csiro.au", "time": "Mon Oct 26 10:51:32 2020 +1100" }, "message": "API for init SMMU caps\n\nSigned-off-by: Oliver Scott \u003cOliver.Scott@data61.csiro.au\u003e\n" }, { "commit": "0182d5e0bacd089692e22230217cdb70be58a7cf", "tree": "8a6b305ba5c71b780ee6c1f319a9aee780b5aef4", "parents": [ "70dd9243456da78d030fa13af6642ba080b703a2" ], "author": { "name": "Qian Ge", "email": "qian.ge@data61.csiro.au", "time": "Fri Sep 20 13:34:59 2019 +1000" }, "committer": { "name": "Oliver Scott", "email": "Oliver.Scott@data61.csiro.au", "time": "Mon Oct 26 10:51:00 2020 +1100" }, "message": "sperating tx2_smmu from arm_smmu\n\nSigned-off-by: Oliver Scott \u003cOliver.Scott@data61.csiro.au\u003e\n" }, { "commit": "673aeac16d43f17c4227c6c23b8a8f3d8b0bc9f2", "tree": "6547fe4cd115b68987a56ea16fb080715f258040", "parents": [ "70dd9243456da78d030fa13af6642ba080b703a2" ], "author": { "name": "June Tate-Gans", "email": "jtgans@google.com", "time": "Thu Oct 22 20:03:20 2020 +0000" }, "committer": { "name": "June Tate-Gans", "email": "jtgans@google.com", "time": "Thu Oct 22 20:03:20 2020 +0000" }, "message": "riscv: Fix sel4bench.h macros to be valid C\n\nThe sel4bench.h header macros were invalid C code and would not compile\nusing spike as the platform and rv32 as the architecture.\n" }, { "commit": "70dd9243456da78d030fa13af6642ba080b703a2", "tree": "6190093a8eee466fe3dce98f1107ef68d9a60bd9", "parents": [ "984ee48dec0310b367cf4a991da545c18ae6e1e8" ], "author": { "name": "Luke Mondy", "email": "luke.mondy@data61.csiro.au", "time": "Tue Oct 06 14:35:10 2020 +1100" }, "committer": { "name": "Luke Mondy", "email": "luke.mondy@data61.csiro.au", "time": "Tue Oct 06 14:35:10 2020 +1100" }, "message": "Ignore chars if they are not UTF-8\n\nSigned-off-by: Luke Mondy \u003cluke.mondy@data61.csiro.au\u003e\n" }, { "commit": "984ee48dec0310b367cf4a991da545c18ae6e1e8", "tree": "79155cdfc3e7863ec7896d761b05152fac8e8bb5", "parents": [ "1460a92c0cec5fcbacda599cf605811d5f90c9a6" ], "author": { "name": "Luke Mondy", "email": "luke.mondy@data61.csiro.au", "time": "Tue Sep 29 16:24:51 2020 +1000" }, "committer": { "name": "Luke Mondy", "email": "luke.mondy@data61.csiro.au", "time": "Tue Sep 29 17:02:43 2020 +1000" }, "message": "Make log parsing Python3, via 2to3\n\nSigned-off-by: Luke Mondy \u003cluke.mondy@data61.csiro.au\u003e\n" }, { "commit": "1460a92c0cec5fcbacda599cf605811d5f90c9a6", "tree": "320faf211d452ec02cafdd46014c12d0bd73bc37", "parents": [ "1baf531df8ff6411398fc20731a2052224a98ab0" ], "author": { "name": "Curtis Millar", "email": "curtis.millar@data61.csiro.au", "time": "Fri Sep 25 15:40:13 2020 +1000" }, "committer": { "name": "Curtis Millar", "email": "curtis.millar@data61.csiro.au", "time": "Fri Sep 25 15:41:33 2020 +1000" }, "message": "trivial: Fix import list in libsel4sync\n\nSigned-off-by: Curtis Millar \u003ccurtis.millar@data61.csiro.au\u003e\n" }, { "commit": "1baf531df8ff6411398fc20731a2052224a98ab0", "tree": "9582eb1dd36febc5c695f4928f50ff137b523898", "parents": [ "890f7076b9243ec5effcdceb2609e67e610bbba3" ], "author": { "name": "Axel Heider", "email": "axelheider@gmx.de", "time": "Wed Apr 22 16:09:40 2020 +0200" }, "committer": { "name": "Oliver Scott", "email": "Oliver.Scott@data61.csiro.au", "time": "Thu Sep 24 18:04:57 2020 +1000" }, "message": "debug: add helper functions for cap type checking\n\nThis reduces the usage of magic values to one file only.\n\nSigned-off-by: Axel Heider \u003caxelheider@gmx.de\u003e" }, { "commit": "890f7076b9243ec5effcdceb2609e67e610bbba3", "tree": "cd033a77ba89bf5d9efaf40eff2e5d657237cd74", "parents": [ "781d618951dd38eb97b8ebe84c51fc1a854cabc6" ], "author": { "name": "Axel Heider", "email": "axelheider@gmx.de", "time": "Tue Sep 15 19:45:17 2020 +0200" }, "committer": { "name": "Oliver Scott", "email": "Oliver.Scott@data61.csiro.au", "time": "Thu Sep 24 18:04:57 2020 +1000" }, "message": "trivial: formatting for style compliance\n\nSigned-off-by: Axel Heider \u003caxelheider@gmx.de\u003e" }, { "commit": "781d618951dd38eb97b8ebe84c51fc1a854cabc6", "tree": "632050b8e4d847dbb2955ecb196f705e8e1743de", "parents": [ "f39d783ef3ef4ba7a795e86848a4b2652ec34eaf" ], "author": { "name": "Curtis Millar", "email": "curtis.millar@data61.csiro.au", "time": "Mon Sep 21 18:45:05 2020 +1000" }, "committer": { "name": "Curtis Millar", "email": "curtis.millar@data61.csiro.au", "time": "Tue Sep 22 09:02:44 2020 +1000" }, "message": "Constructors between vsyscall init and libc init\n\nAdd a region for constructors to be placed between __sysinfo being\ninitialised to sel4_vsyscall and libc_init to allow a user-level\nimplementation to set up virtual memory syscalls use by libc_init whilst\ndepending on a functioning implementation of malloc.\n\nSigned-off-by: Curtis Millar \u003ccurtis.millar@data61.csiro.au\u003e\n" }, { "commit": "f39d783ef3ef4ba7a795e86848a4b2652ec34eaf", "tree": "3b78ab4bcb696d1deabcfe376c81e99730de4c9e", "parents": [ "3fd0ca63468f63b4e2fc7c2683facfa7c52a922b" ], "author": { "name": "Curtis Millar", "email": "curtis.millar@data61.csiro.au", "time": "Mon Sep 21 11:10:11 2020 +1000" }, "committer": { "name": "Curtis Millar", "email": "curtis.millar@data61.csiro.au", "time": "Mon Sep 21 11:12:16 2020 +1000" }, "message": "Force GCC to find new location of TLS base\n\nGCC will sometimes optimise accesses to TLS across function calls\nassuming that the TLS base address has not been changed and thus none of\nthe TLS variables have been relocated.\n\nGiven initialising musl libc explicitly creates a new TLS region,\nupdating __sel4_ipc_buffer requires us to force GCC to find its address\nin the new TLS region rather than re-using the address it already\ndetermined.\n\nSigned-off-by: Curtis Millar \u003ccurtis.millar@data61.csiro.au\u003e\n" }, { "commit": "3fd0ca63468f63b4e2fc7c2683facfa7c52a922b", "tree": "38422f4b49640afee0c991ab937e416824f7b799", "parents": [ "46d86566469496f90a4849a393da54295c703e1c" ], "author": { "name": "Curtis Millar", "email": "curtis.millar@data61.csiro.au", "time": "Thu Sep 17 12:34:26 2020 +1000" }, "committer": { "name": "Curtis Millar", "email": "curtis.millar@data61.csiro.au", "time": "Thu Sep 17 14:53:34 2020 +1000" }, "message": "Add config option to delay libc initialisation\n\nThe initialisation of libc should occur after system calls have been\ninitalised. Some calls are initialised externally or have external\ndependencies.\n\nSigned-off-by: Curtis Millar \u003ccurtis.millar@data61.csiro.au\u003e\n" }, { "commit": "46d86566469496f90a4849a393da54295c703e1c", "tree": "b64570545bb9f8a8cea30d9338a24103c43b1efa", "parents": [ "24f2b526d5c4a5b093dab68540dc2665741cabf1" ], "author": { "name": "Curtis Millar", "email": "curtis.millar@data61.csiro.au", "time": "Thu Sep 17 10:05:29 2020 +1000" }, "committer": { "name": "Curtis Millar", "email": "curtis@curtism.me", "time": "Thu Sep 17 10:15:19 2020 +1000" }, "message": "trivial: style fix\n\nSigned-off-by: Curtis Millar \u003ccurtis.millar@data61.csiro.au\u003e\n" }, { "commit": "24f2b526d5c4a5b093dab68540dc2665741cabf1", "tree": "d3210f39bbab595ed633536b295d00bf367d9678", "parents": [ "7853d576f016b25dbbb31af5e2b88d2cbd15ba7a" ], "author": { "name": "Curtis Millar", "email": "curtis.millar@data61.csiro.au", "time": "Sat Sep 12 15:54:07 2020 +1000" }, "committer": { "name": "Curtis Millar", "email": "curtis@curtism.me", "time": "Thu Sep 17 10:15:19 2020 +1000" }, "message": "Use constructor to initialise libc\n\nThis initialises the C standard library using a constructor executed\nfrom the sel4 runtime.\n\nSigned-off-by: Curtis Millar \u003ccurtis.millar@data61.csiro.au\u003e\n" }, { "commit": "7853d576f016b25dbbb31af5e2b88d2cbd15ba7a", "tree": "b318e27c7b7e1377b04c72c14ba5f5efdda429ef", "parents": [ "dc74a3a31b023b2522b0f1da2906f9a1149236ce" ], "author": { "name": "Chester Pang", "email": "i@bopa.ng", "time": "Fri Sep 11 16:04:48 2020 +1000" }, "committer": { "name": "Chester Pang", "email": "i@bopa.ng", "time": "Fri Sep 11 16:04:48 2020 +1000" }, "message": "libsel4bench: fix wrong PMU reg name\n\nCurrent configuration never uses this reg because of a #ifndef,\nbut for some reason, clang still choose to compile the code containing\nthis reg causing compilation errors, whereas gcc would omit the code\nand compile successfully.\n" }, { "commit": "dc74a3a31b023b2522b0f1da2906f9a1149236ce", "tree": "88386226983f69874aa0af776227456dd1e9a400", "parents": [ "56edd6b5f4f5711ea4e9d5e2f7bff6e05cbfde1f" ], "author": { "name": "Kent McLeod", "email": "Kent.Mcleod@data61.csiro.au", "time": "Tue Jul 21 23:52:52 2020 +1000" }, "committer": { "name": "Kent McLeod", "email": "Kent.Mcleod@data61.csiro.au", "time": "Tue Jul 21 23:52:52 2020 +1000" }, "message": "trivial: style changed file\n" }, { "commit": "56edd6b5f4f5711ea4e9d5e2f7bff6e05cbfde1f", "tree": "2617c889f5f81be07b6247f8f6ebf9358c474b48", "parents": [ "7501c848fe0665ac993afadf413d53417b8eaea2" ], "author": { "name": "Kent McLeod", "email": "Kent.Mcleod@data61.csiro.au", "time": "Tue Jul 21 11:32:28 2020 +1000" }, "committer": { "name": "Kent McLeod", "email": "Kent.Mcleod@data61.csiro.au", "time": "Tue Jul 21 11:34:46 2020 +1000" }, "message": "trivial: Fix compiler warnings\n\n- Declare unused variables\n- Move variable initialization to prevent uninitialized use\n- Correctly store bitwise operation result\n- Fixup memset calls to use correct size\n- Add missing return statement to functions\n- Conditionally define functions that are used conditionally\n" }, { "commit": "7501c848fe0665ac993afadf413d53417b8eaea2", "tree": "928c28657d42dd63e755a36e0d009a1d5b65928b", "parents": [ "a46a435a596ccb2cb0c559ed7976035b567a3ddb" ], "author": { "name": "Kent McLeod", "email": "Kent.Mcleod@data61.csiro.au", "time": "Tue May 12 13:35:28 2020 +1000" }, "committer": { "name": "Kent Mcleod", "email": "Kent.Mcleod@data61.csiro.au", "time": "Tue Jul 14 17:22:15 2020 +1000" }, "message": "trivial: Remove sel4benchsupport from sel4bench\n\nlibsel4bench doesn\u0027t depend on sel4benchsupport.\n" }, { "commit": "a46a435a596ccb2cb0c559ed7976035b567a3ddb", "tree": "35a49bbd2bb4736f3eadc80bfff1271571192963", "parents": [ "1f177036a60d8b473a9c3ffc3858a62e73c2e224" ], "author": { "name": "Saer Debel", "email": "sdebel@data61.csiro.au", "time": "Mon May 11 14:34:57 2020 +1000" }, "committer": { "name": "Saer Debel", "email": "sdebel@data61.csiro.au", "time": "Mon May 11 16:39:44 2020 +1000" }, "message": "added test_error_eq to show userError on assert\n\nFor a KernelInvocationReportErrorIPC config build,\nerrors are suppressed and should be shown on\nseL4_Error assert failures. Using this would be\nno different for other config builds.\n" }, { "commit": "1f177036a60d8b473a9c3ffc3858a62e73c2e224", "tree": "64fb70bb0e379f18ddf138e97a844a310afe3187", "parents": [ "8fbe6c089edc4f9cb02a6d31402055158bc2b6d8" ], "author": { "name": "Siwei Zhuang", "email": "siwei.zhuang@data61.csiro.au", "time": "Thu Mar 26 16:42:29 2020 +1100" }, "committer": { "name": "Siwei Zhuang", "email": "siwei.zhuang@data61.csiro.au", "time": "Thu Mar 26 16:49:55 2020 +1100" }, "message": "libsel4bench: Use privileged HPM counter CSRs\n\nThis change is a work around for some Hifive boards which would freeze\nwhen accessing user mode CSRs.\n" }, { "commit": "8fbe6c089edc4f9cb02a6d31402055158bc2b6d8", "tree": "32dd15a7968b71d983b63bdcfa39194a95d65608", "parents": [ "a6c966ae9e0e4439e01561aa5034db83bfeb6bd9" ], "author": { "name": "Siwei Zhuang", "email": "siwei.zhuang@data61.csiro.au", "time": "Thu Mar 05 15:46:08 2020 +1100" }, "committer": { "name": "Siwei Zhuang", "email": "siwei.zhuang@data61.csiro.au", "time": "Wed Mar 11 15:41:20 2020 +1100" }, "message": "libsel4bench: Add event counter for riscv\n\nImplement event counter, currently only supports sifive U540.\n" }, { "commit": "a6c966ae9e0e4439e01561aa5034db83bfeb6bd9", "tree": "a19445dbd26458decb185bb81575b78651027460", "parents": [ "72efa897a6c8abba8324d2cfedff5e64b5159dc8" ], "author": { "name": "Yanyan Shen", "email": "Yanyan.Shen@data61.csiro.au", "time": "Mon Feb 10 18:47:06 2020 +1100" }, "committer": { "name": "Siwei Zhuang", "email": "siwei.zhuang@data61.csiro.au", "time": "Thu Mar 05 15:57:03 2020 +1100" }, "message": "libsel4bench: Add support for RISC-V\n\nAdded initial support for RISC-V architecture.\n" }, { "commit": "72efa897a6c8abba8324d2cfedff5e64b5159dc8", "tree": "863bdac7fac825138f25efbd53ca06408cd55bfe", "parents": [ "7ae68ec7f731156efb3bc52e9ff9795c50ca641f" ], "author": { "name": "Matthew", "email": "matt.phillips121@gmail.com", "time": "Mon Feb 10 13:21:18 2020 +1100" }, "committer": { "name": "Matthew", "email": "matt.phillips121@gmail.com", "time": "Mon Feb 10 13:21:18 2020 +1100" }, "message": "Include necessary header\n\nClang complains about not being able to find the printf\nimplementation without this include\n" }, { "commit": "7ae68ec7f731156efb3bc52e9ff9795c50ca641f", "tree": "d4a621850d867e8a5326c380a606348696e1ee30", "parents": [ "dc4b8325fe3804771e9043d29aba6b37b939acec" ], "author": { "name": "Kent McLeod", "email": "Kent.Mcleod@data61.csiro.au", "time": "Fri Dec 13 18:03:51 2019 +1100" }, "committer": { "name": "Kent Mcleod", "email": "Kent.Mcleod@data61.csiro.au", "time": "Sat Dec 14 16:17:02 2019 +1100" }, "message": "Move libsel4vmm into libsel4vm\n\nA new library within seL4_projects_libs called libsel4vm has been\ncreated out of libsel4vmm and libsel4arm-vmm.\n\nAdditionally, a snapshot of this library can be found in the\nsel4-deprecated repository where it will marked as deprecated.\n" }, { "commit": "dc4b8325fe3804771e9043d29aba6b37b939acec", "tree": "ad517f957b422adafb60868f2007d62d0dcd3514", "parents": [ "f333d1f466ce96a0a47db83ae6dab6299015f653" ], "author": { "name": "Kent McLeod", "email": "Kent.Mcleod@data61.csiro.au", "time": "Sat Dec 14 14:01:42 2019 +1100" }, "committer": { "name": "Kent McLeod", "email": "Kent.Mcleod@data61.csiro.au", "time": "Sat Dec 14 14:02:24 2019 +1100" }, "message": "libsel4utils: Initialise an empty vspace\n\nImplemented a new interface function\n\u0027sel4utils_get_empty_vspace\u0027 that allows the user to\ncreate a vspace that has no part of the virtual address\nspace being pre-reserved e.g. kernel region. This is useful in\ncases where processes belong to virtual machine based applications\nand need the full address space.\n" }, { "commit": "f333d1f466ce96a0a47db83ae6dab6299015f653", "tree": "49eab24824d9a6a87596a0b2912cbd51ac74666a", "parents": [ "27c4371c7386c0b1991030f62ead93a5306e8985" ], "author": { "name": "Alison Felizzi", "email": "Alison.Felizzi@data61.csiro.au", "time": "Fri Dec 13 10:35:44 2019 +1100" }, "committer": { "name": "Alison Felizzi", "email": "Alison.Felizzi@data61.csiro.au", "time": "Fri Dec 13 10:57:54 2019 +1100" }, "message": "libsel4utils: Initialise an empty vspace\n\nImplemented a new interface function\n\u0027sel4utils_get_empty_vspace_with_map\u0027 that allows the user to\ncreate a vspace (with map) that has no part of the virtual address\nspace being pre-reserved e.g. kernel region. This is useful in\ncases where processes belong to virtual machine based applications\nand need the full address space.\n" }, { "commit": "27c4371c7386c0b1991030f62ead93a5306e8985", "tree": "8d112ddbf2212bde4a83bdf19587e1bc5307da8b", "parents": [ "2d74ed200da28f717c2f924690275f1516e19c8e" ], "author": { "name": "Alison Felizzi", "email": "Alison.Felizzi@data61.csiro.au", "time": "Fri Dec 13 10:32:22 2019 +1100" }, "committer": { "name": "Alison Felizzi", "email": "Alison.Felizzi@data61.csiro.au", "time": "Fri Dec 13 10:57:53 2019 +1100" }, "message": "libsel4utils: Split up \u0027get_vspace_with_map\u0027\n\nSplit up the functionality of \u0027sel4utils_get_vspace_with_map\u0027\nwith the bootstrap intitialisation parts being moved into a\nprivate helper function \u0027get_vspace_bootstrap\u0027. This allows other\nfunctions to modify specific fields in the\n\u0027sel4utils_alloc_data_t\u0027 token after it has been set to a default\nstate.\n" }, { "commit": "2d74ed200da28f717c2f924690275f1516e19c8e", "tree": "5a3c15766a9a8cd6b1c8eb34ca125af6005152b5", "parents": [ "996f4e635a782c614712ace61842bc3c0e40bf3d" ], "author": { "name": "Damon Lee", "email": "Damon.Lee@data61.csiro.au", "time": "Tue Dec 03 10:48:45 2019 +1100" }, "committer": { "name": "Damon Lee", "email": "damon.lee@data61.csiro.au", "time": "Thu Dec 12 15:39:39 2019 +1100" }, "message": "sel4platsupport: Remove dev-specific init calls\n\nNot every platform requires or even has MUX or CLK drivers. Thus,\ninstead of initialising them for the user, we require the user to\nexplicitly initialise them after initialising the io_ops interface.\n" }, { "commit": "996f4e635a782c614712ace61842bc3c0e40bf3d", "tree": "7f64a13a2bd7280a51626068e6b535fede8c5b70", "parents": [ "c4e061572c9acd2915fa5f1dee10353db391e45a" ], "author": { "name": "Kent McLeod", "email": "Kent.Mcleod@data61.csiro.au", "time": "Thu Nov 21 15:15:29 2019 +1100" }, "committer": { "name": "Kent McLeod", "email": "Kent.Mcleod@data61.csiro.au", "time": "Thu Nov 21 15:15:29 2019 +1100" }, "message": "pmem: Downgrade error output to warning\n\nThere are several locations where this function is called where a memory\nmap isn\u0027t expected to be available and generates spurious errors.\n" }, { "commit": "c4e061572c9acd2915fa5f1dee10353db391e45a", "tree": "dbfd53ae50038eda11510eca6d0c653a2272f414", "parents": [ "586ab96254fc5af6bb1a7bab0b0ad6cacf1dfe87" ], "author": { "name": "Kent McLeod", "email": "Kent.Mcleod@data61.csiro.au", "time": "Wed Nov 20 14:33:26 2019 +1100" }, "committer": { "name": "Kent McLeod", "email": "Kent.Mcleod@data61.csiro.au", "time": "Wed Nov 20 14:51:09 2019 +1100" }, "message": "trivial: Add missing register to list\n" }, { "commit": "586ab96254fc5af6bb1a7bab0b0ad6cacf1dfe87", "tree": "afd5cac9100da29a4bf0f9cb5a42b9b324f59d55", "parents": [ "3cb23f1ff54e5ee37b761fdcbb832f69ee956d55" ], "author": { "name": "G. Branden Robinson", "email": "Branden.Robinson@data61.csiro.au", "time": "Wed Oct 23 13:54:52 2019 +1100" }, "committer": { "name": "G. Branden Robinson", "email": "Branden.Robinson@data61.csiro.au", "time": "Tue Nov 05 12:35:38 2019 +1100" }, "message": "flog.h: delete\n\nThis is dead code; i.e., nothing uses it.\n" }, { "commit": "3cb23f1ff54e5ee37b761fdcbb832f69ee956d55", "tree": "d5f0734eccb0ff771e2361276eb2872a9fa4b1d1", "parents": [ "d7be11ef70788b8f50232b5568088903077c5fae" ], "author": { "name": "G. Branden Robinson", "email": "Branden.Robinson@data61.csiro.au", "time": "Thu Oct 10 14:33:46 2019 +1100" }, "committer": { "name": "G. Branden Robinson", "email": "Branden.Robinson@data61.csiro.au", "time": "Tue Nov 05 12:35:30 2019 +1100" }, "message": "sel4bench.h: update documentation and style\n\n* Expand documentation of `sel4bench_enable_counters()`.\n* Document `sel4bench_get_num_counter_chunks()`.\n* Add missing @param and @return notations.\n* Consistently use plurals in the strings for generic event names.\n* Use Markdown backticks for literals (e.g., symbol names).\n* Keep @param and @return descriptions terse (they should be noun\n phrases appropriate for tool tips). Elaborations go in the function\n description.\n* Don\u0027t abbreviate `sel4bench_init()` and `sel4bench_destroy()` as\n `_init()` and `_destroy()`, respectively. Use the full names.\n* Move documentation of constraint on number of counters to\n `sel4bench_get_num_counters()`, instead of duplicating it in two other\n functions.\n* Emphasise that the cycle counter is not a performance counter.\n* Clarify reference to ARM1136 platform, a.k.a. \"kzm\".\n\nFlag open questions:\n* Should some of these prototypes and constant objects be moved to a\n \"private\" header file?\n\nMinor style issues:\n* Perform minor wordsmithing.\n* Use hyphens more idiomatically.\n* Wrap lines at 80 columns.\n* Use two spaces between sentences for readability.\n" }, { "commit": "d7be11ef70788b8f50232b5568088903077c5fae", "tree": "1f63fc8adc4e9fa7c47b66fa5fea5c2bf4677e8f", "parents": [ "59acc870d022eb1bde06518c1bb59a42b2361378" ], "author": { "name": "Kent McLeod", "email": "Kent.Mcleod@data61.csiro.au", "time": "Thu Oct 17 19:30:42 2019 +1100" }, "committer": { "name": "Kent McLeod", "email": "Kent.Mcleod@data61.csiro.au", "time": "Thu Oct 24 11:19:43 2019 +1100" }, "message": "libsel4muslcsys: Implement sys_write wrapper\n\nThis wraps sys_writev the same way that sys_read is implemented.\n" }, { "commit": "59acc870d022eb1bde06518c1bb59a42b2361378", "tree": "56cedb9dd9c2aa4a034d7dd8f9aad83ca785c842", "parents": [ "a02fbd08635e8d6295c23ac4967e376dd8dcef6e" ], "author": { "name": "Curtis Millar", "email": "curtis.millar@data61.csiro.au", "time": "Mon Oct 14 13:56:39 2019 +1100" }, "committer": { "name": "Curtis Millar", "email": "curtis.millar@data61.csiro.au", "time": "Mon Oct 14 14:36:47 2019 +1100" }, "message": "mcs: add api method for SC consumed\n\nThis adds an API method for calling the seL4_SchedContext_Consumed\noperation regardless of whether the CONFIG_KERNEL_MCS is set.\n" }, { "commit": "a02fbd08635e8d6295c23ac4967e376dd8dcef6e", "tree": "e91dd3ad72c5a14c96cbadb39c4b75d7bdfec532", "parents": [ "6e6edea646aa47bdbdc99068da8dcd8b47d384b2" ], "author": { "name": "Kent McLeod", "email": "Kent.Mcleod@data61.csiro.au", "time": "Thu Oct 10 14:30:56 2019 +1100" }, "committer": { "name": "Kent McLeod", "email": "Kent.Mcleod@data61.csiro.au", "time": "Thu Oct 10 14:30:56 2019 +1100" }, "message": "SELFOUR-161: Remove Remap operation from api\n\nMap can now be used in cases where remap was previously used.\n" }, { "commit": "6e6edea646aa47bdbdc99068da8dcd8b47d384b2", "tree": "090ee321f4674079e5a5bf73aa2e4608f311ecbf", "parents": [ "60f05c39496bd57bf301bab18983f2abc46aac7b" ], "author": { "name": "Simon Shields", "email": "simon.shields@data61.csiro.au", "time": "Tue Sep 17 10:54:54 2019 +1000" }, "committer": { "name": "Simon Shields", "email": "simon.shields@data61.csiro.au", "time": "Tue Sep 24 09:46:42 2019 +1000" }, "message": "libsel4test: fix compilation on GCC 9\n\nEach \u0027struct testcase\u0027 is aligned to 64 bytes. Use the testcase_t type\ninstead of \u0027struct testcase\u0027 declaring the array to make the compiler\nrealise this and avoid -Waddress-of-packed-member.\n" }, { "commit": "60f05c39496bd57bf301bab18983f2abc46aac7b", "tree": "ac3ff7e896fce0e0c56e6ca9d7777bc6eba94cbe", "parents": [ "a9034f03d36b5f698443862211c2f499aea30a61" ], "author": { "name": "Kent McLeod", "email": "Kent.Mcleod@data61.csiro.au", "time": "Thu Sep 19 17:31:19 2019 +1000" }, "committer": { "name": "Kent McLeod", "email": "Kent.Mcleod@data61.csiro.au", "time": "Thu Sep 19 17:33:47 2019 +1000" }, "message": "sel4muslcsys: Set -u __vsyscall_ptr on link args\n\nProjects that use this library expect __vsyscall_ptr to be present in\nthe final binary, but require forcing the symbol because it is often not\nused by the final binary but by the loader when setting up the AUX\nvectors. Adding -u __vsyscall_ptr to the target_link_libraries property\nof this library means that the right linker flags will be automatically\nprovided and applications don\u0027t need to keep providing this setting\nthemselves.\n" }, { "commit": "a9034f03d36b5f698443862211c2f499aea30a61", "tree": "0e4f6a0d31a24aca010dfbcd7c67ffc084b22529", "parents": [ "346660695e726ef8acd35f1038788a6f8e98610d" ], "author": { "name": "Damon Lee", "email": "Damon.Lee@data61.csiro.au", "time": "Tue Sep 17 13:06:38 2019 +1000" }, "committer": { "name": "Damon Lee", "email": "Damon.Lee@data61.csiro.au", "time": "Tue Sep 17 16:28:22 2019 +1000" }, "message": "trivial: Fix style\n" }, { "commit": "346660695e726ef8acd35f1038788a6f8e98610d", "tree": "59008f9ef341b34098851ebedcc7b3151f10bf8c", "parents": [ "0d668a1695d7c287c3c7bb1a789fd8b6114b3bd3" ], "author": { "name": "Anna Lyons", "email": "anna@gh.st", "time": "Mon Jul 29 16:42:02 2019 +1000" }, "committer": { "name": "Damon Lee", "email": "Damon.Lee@data61.csiro.au", "time": "Tue Sep 17 16:28:22 2019 +1000" }, "message": "platsupport/simple: add per cpu irq support on arm\n\n- support PER_CPU interrupt type to specify a core\n- use GetTriggerCore on SMP (GetTrigger fails)\n" }, { "commit": "0d668a1695d7c287c3c7bb1a789fd8b6114b3bd3", "tree": "540ec29a906606b52ac01655a565fe73e80c53a6", "parents": [ "d2af53182cfd9c62ce409dfbac75b00a25cc4e68" ], "author": { "name": "Kent McLeod", "email": "Kent.Mcleod@data61.csiro.au", "time": "Fri Sep 13 10:24:55 2019 +1000" }, "committer": { "name": "Kent McLeod", "email": "Kent.Mcleod@data61.csiro.au", "time": "Fri Sep 13 10:26:04 2019 +1000" }, "message": "CMake: Add FindseL4_libs.cmake module\n\nThis adds support for importing this project via\n`find_package(seL4_libs)` if the project exists in the\nCMAKE_MODULE_PATH.\n" }, { "commit": "d2af53182cfd9c62ce409dfbac75b00a25cc4e68", "tree": "376c0c4b56658f4ea15c231a02c090eb0e118b00", "parents": [ "38a475de60d974c52819d91b205fa0a9d0cfbf3f" ], "author": { "name": "Kent McLeod", "email": "Kent.Mcleod@data61.csiro.au", "time": "Wed Aug 21 17:11:03 2019 +1000" }, "committer": { "name": "Kent McLeod", "email": "Kent.Mcleod@data61.csiro.au", "time": "Wed Aug 21 17:11:03 2019 +1000" }, "message": "trivial: Fix style\n" }, { "commit": "38a475de60d974c52819d91b205fa0a9d0cfbf3f", "tree": "55440daac6b722740f1b2b050dcee0080f07be83", "parents": [ "1a87b0f7abdf3a7924972c636506628c5940525a" ], "author": { "name": "Kent McLeod", "email": "Kent.Mcleod@data61.csiro.au", "time": "Wed Aug 21 16:41:58 2019 +1000" }, "committer": { "name": "Kent McLeod", "email": "Kent.Mcleod@data61.csiro.au", "time": "Wed Aug 21 16:41:58 2019 +1000" }, "message": "mcs: Rename CONFIG_KERNEL_RT to CONFIG_KERNEL_MCS\n\nThis is to be consistent with the name defined in the kernel.\n" }, { "commit": "1a87b0f7abdf3a7924972c636506628c5940525a", "tree": "a53a9994008c0a16076140b5a63ec9c19d3ff58d", "parents": [ "74188d2def64266ccf611267bd3c054141fc2808" ], "author": { "name": "Kent McLeod", "email": "Kent.Mcleod@data61.csiro.au", "time": "Thu Aug 01 16:31:10 2019 +1000" }, "committer": { "name": "Kent McLeod", "email": "Kent.Mcleod@data61.csiro.au", "time": "Wed Aug 21 16:22:32 2019 +1000" }, "message": "sem-bare.h: Use seL4_WaitWithMRs syscall for mcs\n\nThis syscall doesn\u0027t need a reply cap to be set on mcs and can work\nwithout an IPC buffer setup.\n" }, { "commit": "74188d2def64266ccf611267bd3c054141fc2808", "tree": "4525d0adf346975423b3f4dd536535ae21d0a6a5", "parents": [ "ed5b378acea59d30094f94f214dc657b439ba24f" ], "author": { "name": "Kent McLeod", "email": "Kent.Mcleod@data61.csiro.au", "time": "Thu Aug 01 16:29:23 2019 +1000" }, "committer": { "name": "Kent McLeod", "email": "Kent.Mcleod@data61.csiro.au", "time": "Wed Aug 21 16:22:32 2019 +1000" }, "message": "Remove references to seL4_IPCBuffer.userData\n\nThis field is no longer needed to store a reference to the IPC buffer.\n" }, { "commit": "ed5b378acea59d30094f94f214dc657b439ba24f", "tree": "bde3691dc231c58567cce8ecfefb42d198eaff97", "parents": [ "e6a0ee352f748966ce565488182a9a5b730c0a1b" ], "author": { "name": "Damon Lee", "email": "Damon.Lee@data61.csiro.au", "time": "Tue Aug 06 15:14:59 2019 +1000" }, "committer": { "name": "Lee, Damon (Data61, Kensington NSW)", "email": "Damon.Lee@data61.csiro.au", "time": "Mon Aug 19 14:40:29 2019 +1000" }, "message": "libsel4platsupport: Add mini IRQ interface\n\nThe new mini IRQ interface covers the common use case where there\u0027s only\na few interrupts to manage and these can fit into a single\nnotification\u0027s badge space. This also avoids the unneeded complexity\nthat the standard IRQ interface offers.\n" }, { "commit": "e6a0ee352f748966ce565488182a9a5b730c0a1b", "tree": "e80c7365ade9d1a175708fbbed2755882fce7e1c", "parents": [ "bd5691dd0b17294d86d5ff3cb7e0dca77ac760cb" ], "author": { "name": "Damon Lee", "email": "Damon.Lee@data61.csiro.au", "time": "Tue Aug 06 14:59:24 2019 +1000" }, "committer": { "name": "Lee, Damon (Data61, Kensington NSW)", "email": "Damon.Lee@data61.csiro.au", "time": "Mon Aug 19 14:40:28 2019 +1000" }, "message": "libsel4platsupport: Refactor the IRQ sources\n\nThis commit refactors the IRQ sources and pulls out common code into\nseparate functions. This is in preparation of a more simpler/mini IRQ\ninterface.\n" }, { "commit": "bd5691dd0b17294d86d5ff3cb7e0dca77ac760cb", "tree": "b5825baad846fe103eaebf998bc3a71b24b3a892", "parents": [ "46844c2ef01341d55330d934da90fdf85e03c66e" ], "author": { "name": "Damon Lee", "email": "Damon.Lee@data61.csiro.au", "time": "Mon Aug 19 14:37:46 2019 +1000" }, "committer": { "name": "Damon Lee", "email": "Damon.Lee@data61.csiro.au", "time": "Mon Aug 19 14:38:20 2019 +1000" }, "message": "trivial: style changed files\n" }, { "commit": "46844c2ef01341d55330d934da90fdf85e03c66e", "tree": "dfdc59cfc459b0a2872edaad120a76552dc569d6", "parents": [ "f02430b5bfdc9b583df3e20e0d4f1fe0a9b594ef" ], "author": { "name": "Damon Lee", "email": "Damon.Lee@data61.csiro.au", "time": "Tue Aug 13 16:44:43 2019 +1000" }, "committer": { "name": "Damon Lee", "email": "Damon.Lee@data61.csiro.au", "time": "Mon Aug 19 14:38:20 2019 +1000" }, "message": "libsel4simple-default: Remove error message\n\nThe error message from the \u0027get_bootinfo_length\u0027 function is removed as\nthis will cause problems for certain projects in which they initialise\nthe IO ops interface to initialise the serial device.\n\nThe problem stems from the fact that the DTB is not included for certain\narchitectures: x86 and RISCV (for now), and so when the FDT interface\ninitialisation function calls \u0027get_bootinfo_length\u0027, it will fail to\nfind the DTB bootinfo section and hence try to print the error message.\n" }, { "commit": "f02430b5bfdc9b583df3e20e0d4f1fe0a9b594ef", "tree": "8391c835ebfc72f503f63864c2ce3fc5b670ddc6", "parents": [ "7cad0c31cfe9e124b10da31de8eaffb3cda67c6e" ], "author": { "name": "Damon Lee", "email": "Damon.Lee@data61.csiro.au", "time": "Mon Aug 12 13:36:13 2019 +1000" }, "committer": { "name": "Damon Lee", "email": "Damon.Lee@data61.csiro.au", "time": "Mon Aug 19 14:38:20 2019 +1000" }, "message": "libsel4platsupport: Update ltimer calls\n\nFollowing from the ltimer IRQ allocation and callback changes, this\ncommits updates the ltimer calls to reflect the changes. This is meant\nto be band-aid fix to just get things compiling until the deprecation of\nthe timer library in libsel4platsupport.\n" }, { "commit": "7cad0c31cfe9e124b10da31de8eaffb3cda67c6e", "tree": "a5940ed48352ad8e54fae0d23c58126ec9e31128", "parents": [ "6a0c026936f8945f32963ff6e25ca78020bf4a0d" ], "author": { "name": "Damon Lee", "email": "Damon.Lee@data61.csiro.au", "time": "Thu Jul 25 13:58:21 2019 +1000" }, "committer": { "name": "Damon Lee", "email": "Damon.Lee@data61.csiro.au", "time": "Mon Aug 19 14:38:20 2019 +1000" }, "message": "trivial: style changed files\n" }, { "commit": "6a0c026936f8945f32963ff6e25ca78020bf4a0d", "tree": "9add43f823acd13a56830e33fd02fab7d19a0359", "parents": [ "41be154ae6b5dcc6e24b3cc2734c6a8b6892f1b6" ], "author": { "name": "Damon Lee", "email": "Damon.Lee@data61.csiro.au", "time": "Wed Jul 17 14:14:24 2019 +1000" }, "committer": { "name": "Damon Lee", "email": "Damon.Lee@data61.csiro.au", "time": "Mon Aug 19 14:38:20 2019 +1000" }, "message": "libsel4test: Add device_frame to env\n\nWe add this struct member to fix the functionality of a test. More\nspecifically, the test where we assign a device frame to a thread\u0027s IPC\nbuffer.\n" }, { "commit": "41be154ae6b5dcc6e24b3cc2734c6a8b6892f1b6", "tree": "c7f754b2a4cc41d2fb89a8c031803b5734f33b96", "parents": [ "a6e1fbf84d12240422ee81de474b6f1557f04867" ], "author": { "name": "Damon Lee", "email": "Damon.Lee@data61.csiro.au", "time": "Wed Jul 17 14:13:45 2019 +1000" }, "committer": { "name": "Damon Lee", "email": "Damon.Lee@data61.csiro.au", "time": "Mon Aug 19 14:38:20 2019 +1000" }, "message": "libsel4test: Remove seL4_timer_t from env\n\nThis struct member was not being used anywhere at all, so we remove it.\n" }, { "commit": "a6e1fbf84d12240422ee81de474b6f1557f04867", "tree": "55bb2b908a1ea95209c2487954d903674eabc729", "parents": [ "4a474d32c60202ad35d6ea0544f5fe1c0eac51be" ], "author": { "name": "Damon Lee", "email": "Damon.Lee@data61.csiro.au", "time": "Thu Jul 25 13:44:21 2019 +1000" }, "committer": { "name": "Damon Lee", "email": "Damon.Lee@data61.csiro.au", "time": "Mon Aug 19 14:38:20 2019 +1000" }, "message": "libsel4platsupport: Update IO ops calls in timer\n\nFollowing the refactoring of the IO ops interfaces, we update the\nrelevant calls inside the timer interface. These changes are temporary\nand are intended to be a band-aid fix for the deprecation of this\ninterface in the very near future.\n" }, { "commit": "4a474d32c60202ad35d6ea0544f5fe1c0eac51be", "tree": "7b46d897c00018a13e927254d346faa506046641", "parents": [ "5ac187443d0f70407676b5dd1d115b99295fbfa8" ], "author": { "name": "Damon Lee", "email": "Damon.Lee@data61.csiro.au", "time": "Thu Jul 25 13:52:21 2019 +1000" }, "committer": { "name": "Damon Lee", "email": "Damon.Lee@data61.csiro.au", "time": "Mon Aug 19 14:38:20 2019 +1000" }, "message": "libsel4platsupport: Init FDT ops in \u0027new_io_ops\u0027\n\nNow that there is an implementation of the FDT ops, we add a call to the\nblanket I/O ops initialisation function to also initialise the FDT ops\nalongside all the other interfaces.\n" }, { "commit": "5ac187443d0f70407676b5dd1d115b99295fbfa8", "tree": "9f1003f085a3a717be7530017862fa50f6668eef", "parents": [ "87499efeaa60ec03ef30f70852f5cecb3125a352" ], "author": { "name": "Damon Lee", "email": "Damon.Lee@data61.csiro.au", "time": "Thu Jul 25 13:48:54 2019 +1000" }, "committer": { "name": "Damon Lee", "email": "Damon.Lee@data61.csiro.au", "time": "Mon Aug 19 14:38:20 2019 +1000" }, "message": "libsel4platsupport: Update \u0027new_io_ops\u0027\n\nThis commit updates the \u0027new_io_ops\u0027 function in regards to the addition\nof the IRQ interfaces in the I/O ops interface. An additional call has\nbeen added to initialise the IRQ interface with the I/O mapper and\nmalloc interface. Also add in clean-up functionality when some of the\ninterfaces fail to initialise.\n" }, { "commit": "87499efeaa60ec03ef30f70852f5cecb3125a352", "tree": "038648e6864cde982f4fafe3ee3ffd0760520512", "parents": [ "af1ca9a008f79bacc526677de80c83488b2b0d59" ], "author": { "name": "Damon Lee", "email": "Damon.Lee@data61.csiro.au", "time": "Thu Jul 25 13:42:49 2019 +1000" }, "committer": { "name": "Damon Lee", "email": "Damon.Lee@data61.csiro.au", "time": "Mon Aug 19 14:38:20 2019 +1000" }, "message": "libsel4utils: Update \u0027new_irq_ops\u0027 in IRQ server\n\nThis commit updates the call to \u0027new_irq_ops\u0027 in the IRQ server to match\nthe new function prototype.\n" }, { "commit": "af1ca9a008f79bacc526677de80c83488b2b0d59", "tree": "266d7ab4de477cb630c662cc0bf93a8a2c8a97b9", "parents": [ "89360acc7e80b6f84f17642e9679c513f0f01876" ], "author": { "name": "Damon Lee", "email": "Damon.Lee@data61.csiro.au", "time": "Tue Jul 23 11:17:57 2019 +1000" }, "committer": { "name": "Damon Lee", "email": "Damon.Lee@data61.csiro.au", "time": "Mon Aug 19 14:38:20 2019 +1000" }, "message": "libsel4platsupport: Improve IRQ interface config\n\nTo make it easier to pass default options to the IRQ interface, the max\nIRQ and notification IDs options are combined into a single struct. Also\ndefine a simple default option to streamline the process of creating the\nIRQ interface.\n" }, { "commit": "89360acc7e80b6f84f17642e9679c513f0f01876", "tree": "b2565f4bb220e62ef5d0da55138aab14031f90ee", "parents": [ "0cf1c707b14eb6a4a054a93c92524cc9ba9bdb2f" ], "author": { "name": "Damon Lee", "email": "Damon.Lee@data61.csiro.au", "time": "Thu Jul 25 17:12:48 2019 +1000" }, "committer": { "name": "Damon Lee", "email": "Damon.Lee@data61.csiro.au", "time": "Mon Aug 19 14:38:20 2019 +1000" }, "message": "libsel4platsupport: Fix \u0027new_fdt_ops\u0027\n\nPreviously, we assumed that not being able to copy the FDT was a failure\ncondition. However, on some platforms, this is actually a valid\ncondition, e.g. x86 or platforms for which the kernel does not have a\nDTS for. This commit fixes that assumption so that calling \u0027fdt_get\u0027\nwith the interface returns a NULL pointer.\n" }, { "commit": "0cf1c707b14eb6a4a054a93c92524cc9ba9bdb2f", "tree": "3889e883a88b31e5a61658646079b68a60707170", "parents": [ "28c5fdd69cdad1ef4eeb4dceef48bd9ada5bd907" ], "author": { "name": "Damon Lee", "email": "Damon.Lee@data61.csiro.au", "time": "Thu Jul 25 17:11:46 2019 +1000" }, "committer": { "name": "Damon Lee", "email": "Damon.Lee@data61.csiro.au", "time": "Mon Aug 19 14:38:20 2019 +1000" }, "message": "libsel4platsupport: Add in safety checks\n\nThis commit adds in safety checks to check if we reach any invalid\nstate.\n" }, { "commit": "28c5fdd69cdad1ef4eeb4dceef48bd9ada5bd907", "tree": "c061bc979b6eacd25711de255629a962b39d8453", "parents": [ "1de25d1106fe79d77d3f318620fd510d749fad38" ], "author": { "name": "Damon Lee", "email": "Damon.Lee@data61.csiro.au", "time": "Tue Jul 23 11:27:46 2019 +1000" }, "committer": { "name": "Damon Lee", "email": "Damon.Lee@data61.csiro.au", "time": "Mon Aug 19 14:38:20 2019 +1000" }, "message": "libsel4platsupport: Refactor IO-related interfaces\n\nThis refactoring is intended to bring these interface initialisation\nfunctions more in line with the style of similar functions. Instead of\naccepting an rvalue (or an expression) of the interfaces, we accept a\npointer to the interfaces themselves. Also add a warning regarding\nlifetimes and concurrency.\n" }, { "commit": "1de25d1106fe79d77d3f318620fd510d749fad38", "tree": "a6ef7151d588937ffcdd010df8b7f2940acfc778", "parents": [ "08f7cbdbec18c89b30e23017e63e79c0655dc8ab" ], "author": { "name": "Alison Felizzi", "email": "Alison.Felizzi@data61.csiro.au", "time": "Wed Aug 14 13:26:52 2019 +1000" }, "committer": { "name": "Alison Felizzi", "email": "Alison.Felizzi@data61.csiro.au", "time": "Wed Aug 14 13:26:52 2019 +1000" }, "message": "sel4utils: Default value of \u0027rights_reserved\u0027 flag\n\nUpdated reservation creation to set the default value of the\nrights deferred flag.\n" }, { "commit": "08f7cbdbec18c89b30e23017e63e79c0655dc8ab", "tree": "6fa87a615515e7b35ac57b2652fce54197393647", "parents": [ "d1abeb4d1c1657d7ab6484f664a3d2d4b474e8c1" ], "author": { "name": "Alison Felizzi", "email": "Alison.Felizzi@data61.csiro.au", "time": "Mon Aug 12 15:36:19 2019 +1000" }, "committer": { "name": "Alison Felizzi", "email": "Alison.Felizzi@data61.csiro.au", "time": "Mon Aug 12 16:00:10 2019 +1000" }, "message": "sel4utils: Mapping deferred rights reservations\n\nUpdated sel4utils to support the new vspace interface function:\n\u0027vspace_deferred_rights_map_pages_at_vaddr_fn\u0027. This enables the\nuser to pass in the rights of the memory region when mapping a\n\u0027rights deferred\u0027 vspace reservation.\n" }, { "commit": "d1abeb4d1c1657d7ab6484f664a3d2d4b474e8c1", "tree": "13031e01963c67a702fe8d691fe0d5a0b8faf4b0", "parents": [ "3c74117e71b97eabe0e4f8af934af070de99628b" ], "author": { "name": "Alison Felizzi", "email": "Alison.Felizzi@data61.csiro.au", "time": "Mon Aug 12 15:30:50 2019 +1000" }, "committer": { "name": "Alison Felizzi", "email": "Alison.Felizzi@data61.csiro.au", "time": "Mon Aug 12 15:47:11 2019 +1000" }, "message": "sel4utils: Deferred rights reservation creation\n\nUpdated sel4utils to support the new vspace interface function:\n\u0027vspace_reserve_deferred_rights_range_at_fn\u0027. This enables the\nuser to create vspace reservations without passing the rights of\nthe memory region. The rights being deferred to the mapping\ninvocation.\n" }, { "commit": "3c74117e71b97eabe0e4f8af934af070de99628b", "tree": "da5857fbdb61bcde59949fbd4bdc9924dd2fdb91", "parents": [ "11e4ef23082e9e7eafb086d462b7de5630a7e810" ], "author": { "name": "Alison Felizzi", "email": "Alison.Felizzi@data61.csiro.au", "time": "Mon Aug 12 15:22:19 2019 +1000" }, "committer": { "name": "Alison Felizzi", "email": "Alison.Felizzi@data61.csiro.au", "time": "Mon Aug 12 15:44:27 2019 +1000" }, "message": "sel4vspace: Deferred rights reservation mapping\n\nThis extends the sel4vspace interface to support the ability to\ncreate reservations where the rights for the memory region are\ndeferred to the vspace mapping invocation. This is useful when the\ncreation of a reservation and the mapping of the reservation are\nnot local and the rights cannot be determined during reservation\ncreation.\n" }, { "commit": "11e4ef23082e9e7eafb086d462b7de5630a7e810", "tree": "1989fd2b82473a7a7f995008a11fa2a5f903e2da", "parents": [ "589686f18b54d40cb5f65656b861ea8b0c7e6480" ], "author": { "name": "Anna Lyons", "email": "anna@gh.st", "time": "Mon Jul 22 10:11:02 2019 +1000" }, "committer": { "name": "Kent Mcleod", "email": "Kent.Mcleod@data61.csiro.au", "time": "Thu Jul 25 10:47:31 2019 +1000" }, "message": "vspace: definitions for 40-bit PA\n\nAdd VSPACE_NUM_LEVELS for 40-bit PA.\n" }, { "commit": "589686f18b54d40cb5f65656b861ea8b0c7e6480", "tree": "e11d37eb7a4e2a3f70b6b8d50e467baf06014b65", "parents": [ "f9094069d0dd0cfaa17926df7affcaa56a45742d" ], "author": { "name": "Anna Lyons", "email": "anna@gh.st", "time": "Mon Jul 22 09:57:55 2019 +1000" }, "committer": { "name": "Kent Mcleod", "email": "Kent.Mcleod@data61.csiro.au", "time": "Thu Jul 25 10:47:31 2019 +1000" }, "message": "vspace: update for 40-bit-PA + hyp\n\nexclude references to PUD methods that do not exist in this\nconfiguration.\n" } ], "next": "f9094069d0dd0cfaa17926df7affcaa56a45742d" }