Skip to content

Actions: seL4/rfcs

Actions

PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pr.yml
23 workflow runs
23 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

RFC-15: Support CHERI/Morello in seL4 PR #23: Pull request #21 synchronize by lsf37
August 4, 2024 00:31 26s 0150-morello-support
0150-morello-support
August 4, 2024 00:31 26s
RFC-16: New capability for the PMU PR #22: Pull request #22 synchronize by lsf37
August 4, 2024 00:28 36s 0160-pmu
0160-pmu
August 4, 2024 00:28 36s
RFC-12: The seL4 Device Driver Framework PR #21: Pull request #19 synchronize by lsf37
August 4, 2024 00:27 34s 0120-device-driver-framework
0120-device-driver-framework
August 4, 2024 00:27 34s
README: highlight summary links PR #20: Pull request #27 opened by lsf37
July 25, 2024 23:27 25s README-udpate
README-udpate
July 25, 2024 23:27 25s
RFC-18: FPU switching PR #19: Pull request #26 synchronize by lsf37
June 26, 2024 17:17 19s 0180-fpu-switching
0180-fpu-switching
June 26, 2024 17:17 19s
RFC-18: FPU switching PR #18: Pull request #26 opened by lsf37
June 21, 2024 05:54 17s 0180-fpu-switching
0180-fpu-switching
June 21, 2024 05:54 17s
RFC-4: Ability to build additional bootloaders inside the seL4 build system PR #17: Pull request #12 synchronize by lsf37
June 20, 2024 06:19 24s 0040-additional-bootloaders
0040-additional-bootloaders
June 20, 2024 06:19 24s
RFC-5: The seL4 Microkit (was: " The seL4 Core Platform") PR #16: Pull request #25 opened by lsf37
June 17, 2024 02:10 1m 24s 0050-microkit
0050-microkit
June 17, 2024 02:10 1m 24s
RFC-14: MCS: Adding budget limit thresholds to endpoints for SC Donation PR #15: Pull request #24 synchronize by lsf37
June 17, 2024 01:43 23s 0140-budget-limit-threshold
0140-budget-limit-threshold
June 17, 2024 01:43 23s
RFC-14: MCS: Adding budget limit thresholds to endpoints for SC Donation PR #14: Pull request #24 opened by lsf37
June 17, 2024 01:42 24s 0140-budget-limit-threshold
0140-budget-limit-threshold
June 17, 2024 01:42 24s
RFC-17: seL4 multikernel IPI API PR #13: Pull request #23 opened by lsf37
June 17, 2024 00:48 23s 0170-multikernel-ipi-api
0170-multikernel-ipi-api
June 17, 2024 00:48 23s
RFC-16: New capability for the PMU PR #12: Pull request #22 opened by lsf37
June 14, 2024 10:01 23s 0160-pmu
0160-pmu
June 14, 2024 10:01 23s
RFC-15: Support CHERI/Morello in seL4 PR #11: Pull request #21 opened by lsf37
June 14, 2024 09:06 26s 0150-morello-support
0150-morello-support
June 14, 2024 09:06 26s
RFC-13: MCS: Improve constraints on grant via reply PR #10: Pull request #20 opened by lsf37
June 13, 2024 23:58 21s 0130-mcs-grant-reply
0130-mcs-grant-reply
June 13, 2024 23:58 21s
RFC-12: The seL4 Device Driver Framework PR #9: Pull request #19 opened by lsf37
June 13, 2024 23:31 22s 0120-device-driver-framework
0120-device-driver-framework
June 13, 2024 23:31 22s
Import RFC-11 PR #8: Pull request #18 opened by lsf37
June 13, 2024 10:00 21s 0110-mcs-configure-handlers
0110-mcs-configure-handlers
June 13, 2024 10:00 21s
import RFC-10 PR #7: Pull request #17 opened by lsf37
June 13, 2024 09:44 24s 0100-refactor-aarch64-vspace
0100-refactor-aarch64-vspace
June 13, 2024 09:44 24s
import RFC-9 PR #6: Pull request #16 opened by lsf37
June 13, 2024 09:32 22s 0090-smc-cap
0090-smc-cap
June 13, 2024 09:32 22s
RFC-8: Remove support for ARMv6 (KZM/i.MX31) PR #5: Pull request #15 opened by lsf37
June 13, 2024 08:03 24s 0080-remove-armv6-support
0080-remove-armv6-support
June 13, 2024 08:03 24s
RFC-7: Removing CNode_Mutate PR #4: Pull request #14 opened by lsf37
June 13, 2024 07:53 29s 0070-removing-cnode-mutate
0070-removing-cnode-mutate
June 13, 2024 07:53 29s
RFC-6: The seL4 Core PR #3: Pull request #13 opened by lsf37
June 13, 2024 07:43 25s 0060-the-sel4-core
0060-the-sel4-core
June 13, 2024 07:43 25s
RFC-4: Ability to build additional bootloaders inside the seL4 build system PR #2: Pull request #12 synchronize by lsf37
June 13, 2024 07:31 24s 0040-additional-bootloaders
0040-additional-bootloaders
June 13, 2024 07:31 24s
RFC-4: Ability to build additional bootloaders inside the seL4 build system PR #1: Pull request #12 opened by lsf37
June 13, 2024 07:30 21s 0040-additional-bootloaders
0040-additional-bootloaders
June 13, 2024 07:30 21s