{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":724039206,"defaultBranch":"pkvm-core-6.4","name":"linux","ownerLogin":"rems-project","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-11-27T09:19:11.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/35805581?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1725612484.0","currentOid":""},"activityList":{"items":[{"before":"644995ece3756dbe6fb47a2c0fae4426111d09e3","after":"226cc1272dfb3579d81a36d29f79af5a9d3fc562","ref":"refs/heads/pkvm-verif-6.4+picovm","pushedAt":"2024-09-13T02:02:47.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"haan6","name":"Yeji Han","path":"/haan6","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/39294131?s=80&v=4"},"commit":{"message":"(picovm) make a compilable picovm","shortMessageHtmlLink":"(picovm) make a compilable picovm"}},{"before":"21fef1a7aff86e2f86c268d9621b6671b225fe3f","after":"644995ece3756dbe6fb47a2c0fae4426111d09e3","ref":"refs/heads/pkvm-verif-6.4+picovm","pushedAt":"2024-09-13T01:11:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"haan6","name":"Yeji Han","path":"/haan6","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/39294131?s=80&v=4"},"commit":{"message":"picovm: make a compilable picovm","shortMessageHtmlLink":"picovm: make a compilable picovm"}},{"before":"e947cfa409984141d5fa052b0a4a824281c48585","after":"52e7e099e210dc4eb3eab72da031e7976b81036f","ref":"refs/heads/pkvm-verif-6.4-cn-specifications","pushedAt":"2024-09-10T10:28:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"cp526","name":"Christopher Pulte","path":"/cp526","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6631650?s=80&v=4"},"commit":{"message":"Revert \"ghost_spec.cn.c -> ghost_spec.cn.h\"\n\nThis reverts commit e947cfa409984141d5fa052b0a4a824281c48585.","shortMessageHtmlLink":"Revert \"ghost_spec.cn.c -> ghost_spec.cn.h\""}},{"before":"584bc0978005bc0e7077a85971b56d96c06e3b95","after":"e947cfa409984141d5fa052b0a4a824281c48585","ref":"refs/heads/pkvm-verif-6.4-cn-specifications","pushedAt":"2024-09-10T10:26:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"cp526","name":"Christopher Pulte","path":"/cp526","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6631650?s=80&v=4"},"commit":{"message":"ghost_spec.cn.c -> ghost_spec.cn.h","shortMessageHtmlLink":"ghost_spec.cn.c -> ghost_spec.cn.h"}},{"before":"d471098da6b9888a9966c7f71a01cb8af4890da3","after":"21fef1a7aff86e2f86c268d9621b6671b225fe3f","ref":"refs/heads/pkvm-verif-6.4+picovm","pushedAt":"2024-09-07T01:45:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"haan6","name":"Yeji Han","path":"/haan6","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/39294131?s=80&v=4"},"commit":{"message":"(picovm) implemented hyp_unmap_walker\n\nwhile the current walkers have core ideas on writing a new pte descriptor,\nthey need stronger or additional fences to ensure valid tlb updates\nand instruction fetches","shortMessageHtmlLink":"(picovm) implemented hyp_unmap_walker"}},{"before":"c9b1bdc35292c6764d9a9e858080c4ed2673731c","after":"584bc0978005bc0e7077a85971b56d96c06e3b95","ref":"refs/heads/pkvm-verif-6.4-cn-specifications","pushedAt":"2024-09-06T13:19:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"cp526","name":"Christopher Pulte","path":"/cp526","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6631650?s=80&v=4"},"commit":{"message":"check in our progress","shortMessageHtmlLink":"check in our progress"}},{"before":null,"after":"c9b1bdc35292c6764d9a9e858080c4ed2673731c","ref":"refs/heads/pkvm-verif-6.4-cn-specifications","pushedAt":"2024-09-06T08:48:04.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"cp526","name":"Christopher Pulte","path":"/cp526","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6631650?s=80&v=4"},"commit":{"message":"BS, KM, PS, RB, CP drafting part of ghost_maplets.h in CN","shortMessageHtmlLink":"BS, KM, PS, RB, CP drafting part of ghost_maplets.h in CN"}},{"before":"b9abaf5c31252eca98a29c033b303472572510bb","after":"d471098da6b9888a9966c7f71a01cb8af4890da3","ref":"refs/heads/pkvm-verif-6.4+picovm","pushedAt":"2024-09-04T21:11:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kmemarian","name":"Kayvan Memarian","path":"/kmemarian","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1258819?s=80&v=4"},"commit":{"message":"(picovm) adding local copies of linux headers and fixing the build\n\nThis adds local copies of types and inlined functions from the linux headers\nthat we use in order to keep picovm standalone. This required some tweaking to\navoid bringing too much, so doing this might be more error prone than\nI expected ...\n\nWe might want to have a build config switch that either directly includes the\nlinux headers, or does the current standalone stuff.\n\nThis also adds a temporary picovm/todo.c translation unit holding empty/dummy\ndefinitions for all the unimplemented symbols needed get full builds to work.","shortMessageHtmlLink":"(picovm) adding local copies of linux headers and fixing the build"}},{"before":"62a5f71c07afe7dac514ed5bef878cdd0eb2063a","after":"b9abaf5c31252eca98a29c033b303472572510bb","ref":"refs/heads/pkvm-verif-6.4+picovm","pushedAt":"2024-09-03T03:19:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"haan6","name":"Yeji Han","path":"/haan6","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/39294131?s=80&v=4"},"commit":{"message":"(picovm) WIP: implementing stage2_map hvc\n\nthis disables the option of building NVHE and doesn't currently\nallow building a whole kernel.","shortMessageHtmlLink":"(picovm) WIP: implementing stage2_map hvc"}},{"before":"1f5ec5ef8c894e78fe185c1273448c208951928d","after":"62a5f71c07afe7dac514ed5bef878cdd0eb2063a","ref":"refs/heads/pkvm-verif-6.4+picovm","pushedAt":"2024-08-29T15:32:53.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"haan6","name":"Yeji Han","path":"/haan6","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/39294131?s=80&v=4"},"commit":{"message":"WIP: implemented page table walker and hyp_map_walker callback\n\nthis disables the option of building NVHE and doesn't currently\nallow building a whole kernel.","shortMessageHtmlLink":"WIP: implemented page table walker and hyp_map_walker callback"}},{"before":"5429b2edce6069b1b0b94632b88adb6c63806b9d","after":"1f5ec5ef8c894e78fe185c1273448c208951928d","ref":"refs/heads/pkvm-verif-6.4+picovm","pushedAt":"2024-08-27T11:15:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"haan6","name":"Yeji Han","path":"/haan6","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/39294131?s=80&v=4"},"commit":{"message":"WIP - developing page table walker in picovm","shortMessageHtmlLink":"WIP - developing page table walker in picovm"}},{"before":"2b0d332de462d520b71eeaff205b7402f65eebab","after":"a62dc656a8a790976c49c90e98b88aa45aa31315","ref":"refs/heads/pkvm-verif-6.4","pushedAt":"2024-08-25T02:07:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kmemarian","name":"Kayvan Memarian","path":"/kmemarian","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1258819?s=80&v=4"},"commit":{"message":"(ghost/recording) guarding the recording of some sysregs that may be undefined","shortMessageHtmlLink":"(ghost/recording) guarding the recording of some sysregs that may be …"}},{"before":"8f8c5c87e2ebf60bffb309959626bd0ce7907561","after":"2b0d332de462d520b71eeaff205b7402f65eebab","ref":"refs/heads/pkvm-verif-6.4","pushedAt":"2024-08-23T17:19:24.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"kmemarian","name":"Kayvan Memarian","path":"/kmemarian","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1258819?s=80&v=4"},"commit":{"message":"(ghost) hidding unused function","shortMessageHtmlLink":"(ghost) hidding unused function"}},{"before":"6b72dd77d3686ea30f805313aa749fb50f9818d5","after":"8f8c5c87e2ebf60bffb309959626bd0ce7907561","ref":"refs/heads/pkvm-verif-6.4","pushedAt":"2024-08-23T17:04:31.000Z","pushType":"push","commitsCount":6,"pusher":{"login":"kmemarian","name":"Kayvan Memarian","path":"/kmemarian","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1258819?s=80&v=4"},"commit":{"message":"(ghost) moving ghost files left in hyp/ down to nvhe/\n\nEven so some ghost functions are called hyp/pgtable.c, this is only when\ncompiled for __KVM_NVHE_HYPERVISOR__.","shortMessageHtmlLink":"(ghost) moving ghost files left in hyp/ down to nvhe/"}},{"before":null,"after":"5429b2edce6069b1b0b94632b88adb6c63806b9d","ref":"refs/heads/pkvm-verif-6.4+picovm","pushedAt":"2024-08-15T14:03:33.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"kmemarian","name":"Kayvan Memarian","path":"/kmemarian","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1258819?s=80&v=4"},"commit":{"message":"Work-in-progress: adding picovm, a toy cutdown version of pKVM\n\nthis disables the option of building NVHE and doesn't currently\nallow building a whole kernel.","shortMessageHtmlLink":"Work-in-progress: adding picovm, a toy cutdown version of pKVM"}},{"before":"118cba36c7192dbbb6611a06e916f3d7b834d62f","after":"6b72dd77d3686ea30f805313aa749fb50f9818d5","ref":"refs/heads/pkvm-verif-6.4","pushedAt":"2024-08-02T12:21:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Thomas-fourier","name":null,"path":"/Thomas-fourier","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/66879241?s=80&v=4"},"commit":{"message":"(ghost/sm) fix assertion","shortMessageHtmlLink":"(ghost/sm) fix assertion"}},{"before":"118cba36c7192dbbb6611a06e916f3d7b834d62f","after":null,"ref":"refs/heads/pkvm-verif-6.4+SM-optimisations","pushedAt":"2024-07-31T16:29:03.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Thomas-fourier","name":null,"path":"/Thomas-fourier","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/66879241?s=80&v=4"}},{"before":"3eea63fc1c0b1f54dbcd3ec1adcbf369b8262b9d","after":"118cba36c7192dbbb6611a06e916f3d7b834d62f","ref":"refs/heads/pkvm-verif-6.4","pushedAt":"2024-07-31T16:27:39.000Z","pushType":"push","commitsCount":6,"pusher":{"login":"Thomas-fourier","name":null,"path":"/Thomas-fourier","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/66879241?s=80&v=4"},"commit":{"message":"(ghost/sm) Check the length of PT root to lock mapping and remove element when releasing the table","shortMessageHtmlLink":"(ghost/sm) Check the length of PT root to lock mapping and remove ele…"}},{"before":"de21dce0b2f189c9d50ec49cee8a235ae72013ac","after":"118cba36c7192dbbb6611a06e916f3d7b834d62f","ref":"refs/heads/pkvm-verif-6.4+SM-optimisations","pushedAt":"2024-07-31T16:26:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Thomas-fourier","name":null,"path":"/Thomas-fourier","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/66879241?s=80&v=4"},"commit":{"message":"(ghost/sm) Check the length of PT root to lock mapping and remove element when releasing the table","shortMessageHtmlLink":"(ghost/sm) Check the length of PT root to lock mapping and remove ele…"}},{"before":"3bbd6c7ea5b849573c77136b18d762396c7cf4b4","after":"de21dce0b2f189c9d50ec49cee8a235ae72013ac","ref":"refs/heads/pkvm-verif-6.4+SM-optimisations","pushedAt":"2024-07-30T13:28:53.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Thomas-fourier","name":null,"path":"/Thomas-fourier","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/66879241?s=80&v=4"},"commit":{"message":"(ghost/sm) update SM explded descriptor when invalidated and test leaf or no valid children when performing TLBI by VA","shortMessageHtmlLink":"(ghost/sm) update SM explded descriptor when invalidated and test lea…"}},{"before":null,"after":"3bbd6c7ea5b849573c77136b18d762396c7cf4b4","ref":"refs/heads/pkvm-verif-6.4+SM-optimisations","pushedAt":"2024-07-30T13:24:36.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Thomas-fourier","name":null,"path":"/Thomas-fourier","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/66879241?s=80&v=4"},"commit":{"message":"[UNSAFE] KVM: arm64: Add pkvm proxy module\n\nThis allows when enabled, to completely bypass the regular KVM API\nand interact directly the hypercall API. This is usefull to test the\npKVM hypervisor. However this completely break the kernel security\nmodel, any kernel having this commit is severly compromised.\n\nThe ioctl-based UAPI is described in\narch/arm64/include/uapi/asm/pkvm_proxy.h\n\nThe set of supported hypervisor operations is enough to boot a\nnon-protected guest on pkvm-core-6.4. Other version might need\nmodifications to reach that stage\n\nChange-Id: I8b9aa25bbb5fabbba3fae10641a828be8511965f","shortMessageHtmlLink":"[UNSAFE] KVM: arm64: Add pkvm proxy module"}},{"before":"092f872e0ae9b69b624e8108154dfdad44268737","after":"436aae79242ecef38b2888b0293794befce03fd2","ref":"refs/heads/pkvm-verif-6.4+hyp-proxy+pkvm-gcov","pushedAt":"2024-07-23T01:50:05.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"pqwy","name":"dkm","path":"/pqwy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/325535?s=80&v=4"},"commit":{"message":"[DEBUG] KVM: Make pKVM+gcov work with the exe spec\n\nRegister the hypercalls with the Ghost machinery, and add recording\naround locks.","shortMessageHtmlLink":"[DEBUG] KVM: Make pKVM+gcov work with the exe spec"}},{"before":"ef9eea35f70a6ec0bc885b58dbfda964cab65f16","after":"d1d7213df5f8e147628edfbf3d18a556c20ad165","ref":"refs/heads/pkvm-gcov","pushedAt":"2024-07-23T01:49:54.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"pqwy","name":"dkm","path":"/pqwy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/325535?s=80&v=4"},"commit":{"message":"KVM: pKVM support for GCOV\n\nDepends on ELF initialisers. Exports profiled modules under /gcov_nvhe\nin debugfs, mirroring /gcov for the kernel proper.","shortMessageHtmlLink":"KVM: pKVM support for GCOV"}},{"before":"5da1d2203fba5a18c33a4510bcbb9ee34822fb4c","after":"7d6f76154c6f6bf2b99c76bb98bd9b5e20beb616","ref":"refs/heads/pkvm-core-6.4+hyp-proxy+pkvm-gcov","pushedAt":"2024-07-23T01:49:30.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"pqwy","name":"dkm","path":"/pqwy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/325535?s=80&v=4"},"commit":{"message":"KVM: pKVM support for GCOV\n\nDepends on ELF initialisers. Exports profiled modules under /gcov_nvhe\nin debugfs, mirroring /gcov for the kernel proper.","shortMessageHtmlLink":"KVM: pKVM support for GCOV"}},{"before":null,"after":"5da1d2203fba5a18c33a4510bcbb9ee34822fb4c","ref":"refs/heads/pkvm-core-6.4+hyp-proxy+pkvm-gcov","pushedAt":"2024-07-17T01:03:03.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"pqwy","name":"dkm","path":"/pqwy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/325535?s=80&v=4"},"commit":{"message":"[DEBUG] KVM: Add GCOV support for EL2","shortMessageHtmlLink":"[DEBUG] KVM: Add GCOV support for EL2"}},{"before":null,"after":"092f872e0ae9b69b624e8108154dfdad44268737","ref":"refs/heads/pkvm-verif-6.4+hyp-proxy+pkvm-gcov","pushedAt":"2024-07-15T23:36:56.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"pqwy","name":"dkm","path":"/pqwy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/325535?s=80&v=4"},"commit":{"message":"[DEBUG] KVM: Make EL2/GCOV work with the exe spec\n\nRegister the hypercalls with the Ghost machinery, and add recording\naround locks.","shortMessageHtmlLink":"[DEBUG] KVM: Make EL2/GCOV work with the exe spec"}},{"before":"c21704990bfa8cdc92d274fd8695f0fe94a54a58","after":"a72873d6fab8f9671e776c383293fbb88fd8b51d","ref":"refs/heads/pkvm-verif-6.4+hyp-proxy","pushedAt":"2024-07-15T23:34:28.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"pqwy","name":"dkm","path":"/pqwy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/325535?s=80&v=4"},"commit":{"message":"[UNSAFE] KVM: arm64: Add pkvm proxy module\n\nThis allows when enabled, to completely bypass the regular KVM API\nand interact directly the hypercall API. This is usefull to test the\npKVM hypervisor. However this completely break the kernel security\nmodel, any kernel having this commit is severly compromised.\n\nThe ioctl-based UAPI is described in\narch/arm64/include/uapi/asm/pkvm_proxy.h\n\nThe set of supported hypervisor operations is enough to boot a\nnon-protected guest on pkvm-core-6.4. Other version might need\nmodifications to reach that stage\n\nChange-Id: I8b9aa25bbb5fabbba3fae10641a828be8511965f","shortMessageHtmlLink":"[UNSAFE] KVM: arm64: Add pkvm proxy module"}},{"before":"df968de2a8bf78d50929626ee8d80aebe5db373b","after":"ef9eea35f70a6ec0bc885b58dbfda964cab65f16","ref":"refs/heads/pkvm-gcov","pushedAt":"2024-07-15T14:05:15.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"pqwy","name":"dkm","path":"/pqwy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/325535?s=80&v=4"},"commit":{"message":"[DEBUG] KVM: Add GCOV support for EL2","shortMessageHtmlLink":"[DEBUG] KVM: Add GCOV support for EL2"}},{"before":null,"after":"3ee251d360a96bf544a6c4542309049ee6af5ea3","ref":"refs/heads/pkvm-logger","pushedAt":"2024-07-15T14:04:31.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"pqwy","name":"dkm","path":"/pqwy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/325535?s=80&v=4"},"commit":{"message":"[DEBUG] KVM: Add debug logging for EL2","shortMessageHtmlLink":"[DEBUG] KVM: Add debug logging for EL2"}},{"before":"e48cbd72d84bf2154f527b0507898ccf55dc15e9","after":null,"ref":"refs/heads/hyp-logger","pushedAt":"2024-07-15T14:04:15.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"pqwy","name":"dkm","path":"/pqwy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/325535?s=80&v=4"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0xM1QwMjowMjo0Ny4wMDAwMDBazwAAAAS1AZtI","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNy0xNVQxNDowNDoxNS4wMDAwMDBazwAAAAR_xhmz"}},"title":"Activity · rems-project/linux"}