{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":445937449,"defaultBranch":"devel","name":"muen","ownerLogin":"jcdubois","currentUserCanPush":false,"isFork":true,"isEmpty":false,"createdAt":"2022-01-08T21:58:52.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/1263961?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1641679139.823203","currentOid":""},"activityList":{"items":[{"before":"580fbc380ce19bf1911f1d5a0eec27bcec432a16","after":"e878fd944581138c28e68c3ba6d4bc66eddb8863","ref":"refs/heads/devel","pushedAt":"2024-04-26T08:14:21.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"jcdubois","name":"Jean-Christophe DUBOIS","path":"/jcdubois","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1263961?s=80&v=4"},"commit":{"message":"Minor fixes before Muen release 1.1, part 2\n\nSummary:\nUpdate sbs-tools to a1f69d799d6f. Contains minor updates to the\nproject's README and the hardening compiler flags.\n\nAdjust mugenhwcfg-live reference in README as release images are now\nprovided on github.\n\nReviewers: ken\n\nReviewed By: ken\n\nDifferential Revision: https://dev.codelabs.ch/D990","shortMessageHtmlLink":"Minor fixes before Muen release 1.1, part 2"}},{"before":"4ff17be1112b5b16b99ba173be54e0fb71a2f8ff","after":"580fbc380ce19bf1911f1d5a0eec27bcec432a16","ref":"refs/heads/devel","pushedAt":"2024-03-30T11:24:41.000Z","pushType":"push","commitsCount":52,"pusher":{"login":"jcdubois","name":"Jean-Christophe DUBOIS","path":"/jcdubois","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1263961?s=80&v=4"},"commit":{"message":"Minor fixes before Muen release 1.1\n\nSummary:\nFix minor doc issues and update mirageos in Docker image to version\n4.4.2 (required to fix a build issue with gmp.h).\n\nTest Plan: Verified that the muen.sk website works with the latest Muen version.\n\nReviewers: ken\n\nReviewed By: ken\n\nDifferential Revision: https://dev.codelabs.ch/D987","shortMessageHtmlLink":"Minor fixes before Muen release 1.1"}},{"before":"a714b0c4891571e73f0de9838066f52269807dcd","after":"4ff17be1112b5b16b99ba173be54e0fb71a2f8ff","ref":"refs/heads/devel","pushedAt":"2024-03-15T19:41:34.000Z","pushType":"push","commitsCount":60,"pusher":{"login":"jcdubois","name":"Jean-Christophe DUBOIS","path":"/jcdubois","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1263961?s=80&v=4"},"commit":{"message":"Rework Controller slot reset request handling\n\nSummary:\nCloses T592. Instead of using a shared memory page as an interface for\nslot reset requests, switch to events with pending interrupts\nprocessing. The controller monitors its own pending interrupts where a\nspecific vector is associated with a reset request for a specific slot.\nWhen the interrupt is set, the reset request for that slot is registered\nand the pending interrupt is cleared.\n\nThis simpler interface allows to remove the now obsolete slot control\ncode and associated memory resources. Furthermore, the same event can be\nreused to allow Linux subjects to request a slot reset when they trigger\na subject reboot.\n\nTest Plan:\nManually checked with demo system VT-d on QEMU as well as Lenovo T480s,\nthat slot reset initiated by the Linux subject using the reboot command\nworks now. Also verified that slot reset via VT (Ctrl+F10) works as\nbefore.\n\nReviewers: reet\n\nReviewed By: reet\n\nManiphest Tasks: T592\n\nDifferential Revision: https://dev.codelabs.ch/D980","shortMessageHtmlLink":"Rework Controller slot reset request handling"}},{"before":"2ff053c451b47eb2409d3bb2ba4e53a41d588bcd","after":"a714b0c4891571e73f0de9838066f52269807dcd","ref":"refs/heads/devel","pushedAt":"2023-12-27T17:13:46.000Z","pushType":"push","commitsCount":51,"pusher":{"login":"jcdubois","name":"Jean-Christophe DUBOIS","path":"/jcdubois","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1263961?s=80&v=4"},"commit":{"message":"Various minor fixes and improvements\n\nSummary:\nSet SPARK_REPORT to 'statistics' in Makeconf. This additionally prints\nthe prover used, the time and step count needed to prove the VC.\n\nHandle all Build_Modes in kernel's naming package. This fixes a build\nwarning.\n\nUpdate up-squared-e3950.xml hardware configuration in policy (BIOS\nupdate to 6.4).\n\nPrint MCE bank count if the CPU has more than we expect. Also, increase\nthe banks to 20 as this is the largest value seen in the wild so far.\n\nSpeed up Linux modules build by also setting CC='ccache gcc' (see\n3c45e2950).\n\nAdd check for loader/muinit configuration discrepancies. The new\nvalidator checks that subjects which specify a loader self-reference\nmust also have a memory mapping with the logical name 'muinit' and vice\nversa. This catches configuration errors which manifest as very subtle\nand non-obvious runtime issues. Register the Muinit/Loader validator as\nstage2 pre-check in the expander.\n\nUpdate tau0-static submodule to eb518ed54815 in order to increase the\nmax number of roots to 4096.\n\nUpdate sbs-tools to 6557c657bd9b. This version adds support for payload\ndata extraction to the sbs_inspect tool.\n\nFix debug output of MCU header in the kernel. The line termination\ndepends on the KC implementation, e.g UART uses CR|LF. Therefore, do not\nuse the shortcut via the ASCII package but factor out header printing to\na separate debug procedure and print each line separately.\n\nUpdate Linux submodule to 9d6cd8774403 to fix various issues for\nmuen/pci wrt. MSI.\n\nAnd some other small fixes/improvements:\n- Minor: Libmutime: Add missing ; in code comment\n- Example: Add missing space to RSP exception output\n- Fix minor issues in python scripts reported by pyright\n- Minor indent fix in .arcconfig\n- contrib: Switch to github fork for libhwbase\n\nReviewers: ken\n\nReviewed By: ken\n\nDifferential Revision: https://dev.codelabs.ch/D968","shortMessageHtmlLink":"Various minor fixes and improvements"}},{"before":"51c5878225a54e09b0e0137d146be26d7e13559e","after":"2ff053c451b47eb2409d3bb2ba4e53a41d588bcd","ref":"refs/heads/devel","pushedAt":"2023-11-13T21:42:42.000Z","pushType":"push","commitsCount":49,"pusher":{"login":"jcdubois","name":"Jean-Christophe DUBOIS","path":"/jcdubois","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1263961?s=80&v=4"},"commit":{"message":"Various minor fixes\n\nSummary:\nTrim count attribute string in Mugentau0cmds and do not add newline when\nappending multiple commands.\n\nAdd more debug output for amend-logging error in Libmutools.\n\nExplicitly define bash as shell in Makeconf as some Makefiles use echo\n-n, which is non posix conformant bash.\n\nFix sporadic unit test failure in Mucfgmerge. The state of the log\nvariables was not reset between tests. This resulted in random failure\nof the test.\n\nFix typo in Libmuxml MCU documentation (fixup for 13b053923).\n\nFinally, update Linux submodule to a2c5176efcc7 to fix an implicit\nfallthrough warning in muen-input.\n\nReviewers: ken\n\nReviewed By: ken\n\nDifferential Revision: https://dev.codelabs.ch/D960","shortMessageHtmlLink":"Various minor fixes"}},{"before":"afa2e86ef5c243fef84fddbc81a8927ac8727bb1","after":"51c5878225a54e09b0e0137d146be26d7e13559e","ref":"refs/heads/devel","pushedAt":"2023-10-16T15:30:39.000Z","pushType":"push","commitsCount":23,"pusher":{"login":"jcdubois","name":"Jean-Christophe DUBOIS","path":"/jcdubois","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1263961?s=80&v=4"},"commit":{"message":"Update Docker/GHA to Debian Bookworm (12)\n\nSummary:\nGHA:\n- Switch to Debian GNU/Linux 12 (Bookworm)\n- Drop Ubuntu Focal\n\nDocker:\n- Use ENTRYPOINT instead of bashrc to init dev-env\n- Set distro_version to Bookworm (and related changes)\n- Do not add PHP PPA on Ubuntu\n- Install muen-dev-env to /opt\n\nREADME: Update to Debian 12, drop Ubuntu Focal and fix dev-env env source\ncommand.\n\nReviewers: ken\n\nReviewed By: ken\n\nDifferential Revision: https://dev.codelabs.ch/D957","shortMessageHtmlLink":"Update Docker/GHA to Debian Bookworm (12)"}},{"before":"594b91c1fb85b1a24368708c56af30c31670c0c9","after":"afa2e86ef5c243fef84fddbc81a8927ac8727bb1","ref":"refs/heads/devel","pushedAt":"2023-09-09T13:27:01.000Z","pushType":"push","commitsCount":82,"pusher":{"login":"jcdubois","name":"Jean-Christophe DUBOIS","path":"/jcdubois","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1263961?s=80&v=4"},"commit":{"message":"Three minor fixes to emulate/iso targets and README\n\nSummary:\n- emulate: Use the latest -display curses syntax\n- Build Demo System for QEMU on make iso target\n- README: Adjust muen-dev-env.alr documentation\n\nReviewers: ken\n\nReviewed By: ken\n\nDifferential Revision: https://dev.codelabs.ch/D955","shortMessageHtmlLink":"Three minor fixes to emulate/iso targets and README"}},{"before":"08cb125a34a8aba5a3ae971af79c8b98893296c8","after":"594b91c1fb85b1a24368708c56af30c31670c0c9","ref":"refs/heads/devel","pushedAt":"2023-04-09T16:24:59.178Z","pushType":"push","commitsCount":9,"pusher":{"login":"jcdubois","name":"Jean-Christophe DUBOIS","path":"/jcdubois","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1263961?s=80&v=4"},"commit":{"message":"Linux: Fix SAC and locking bugs\n\nSummary:\nEnable lock and atomic sleep bug detection in Linux config and assert\nthat no BUGs are present in the Linux log on all integ targets. Also\ncheck that there are no segfaults from userland in the log.\n\nUpdate Linux submodule to revision fda429bb10f7. This fixes various\nsleep in atomic context (SAC) and locking BUGs.\n\nUpdate Muennet submodule to eb6b5cf. Fixes SAC bug in del_child function.\n\ninteg: Adjust muen-smp expect strings on KT and increase ssh_exec\ntimeout from 20 to 30 seconds.\n\nReviewers: ken\n\nReviewed By: ken\n\nDifferential Revision: https://dev.codelabs.ch/D949","shortMessageHtmlLink":"Linux: Fix SAC and locking bugs"}},{"before":"97d0469c1e6de6b70e69684404cdc228c5e5c4c8","after":"08cb125a34a8aba5a3ae971af79c8b98893296c8","ref":"refs/heads/devel","pushedAt":"2023-03-30T20:00:28.041Z","pushType":"push","commitsCount":7,"pusher":{"login":"jcdubois","name":"Jean-Christophe DUBOIS","path":"/jcdubois","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1263961?s=80&v=4"},"commit":{"message":"GHA: Use GitHub Container registry for docker images\n\nSummary:\nSwitch from Docker Hub to GitHub Container registry for all docker\nimages and adjust docker pull commands in the documentation.\n\nAdd README.adoc symlink to make the GitHub README rendering work\ncorrectly. Also, add architecture example image to doc folder, otherwise\nthis shows as broken link in the GitHub README view.\n\nReviewers: ken\n\nReviewed By: ken\n\nDifferential Revision: https://dev.codelabs.ch/D946","shortMessageHtmlLink":"GHA: Use GitHub Container registry for docker images"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNC0yNlQwODoxNDoyMS4wMDAwMDBazwAAAAQ67g89","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNC0yNlQwODoxNDoyMS4wMDAwMDBazwAAAAQ67g89","endCursor":"Y3Vyc29yOnYyOpK7MjAyMy0wMy0zMFQyMDowMDoyOC4wNDExMjJazwAAAAMO9p41"}},"title":"Activity · jcdubois/muen"}