Skip to content

Activity

Showing most recent first

trivial: mcs: simplify implementation of cancelIPC

Force push
lsf37force pushed to pr/cancel-ipc-blocked-on-send • 4327597…7dc06a5 • 
27 days ago

riscv/vspace.c: revise comments

nspinpushed 354 commits to master • 6d439a4…5632069 • 
on Dec 9, 2024

Merge branch 'master' into pr/rm-unreachable

lsf37pushed 12 commits to pr/rm-unreachable • d2a5e9c…e4e8f16 • 
on Dec 4, 2024

Merge branch 'master' into pr/x86-initialize-vars

lsf37pushed 2 commits to pr/x86-initialize-vars • ab3116f…23e0cdb • 
on Dec 3, 2024

Merge branch 'master' into pr/x86-initialize-vars

lsf37pushed 9 commits to pr/x86-initialize-vars • 39bded0…ab3116f • 
on Dec 2, 2024

trivial: mcs: simplify implementation of cancelIPC

nspincreated pr/cancel-ipc-blocked-on-send • 4327597 • 
on Nov 30, 2024

arm,gic: add static const qualifier to irqInvalid

Force push
nspinforce pushed to pr/irq-invalid-const • 6a54ed8…2d6c38a • 
on Nov 6, 2024

arm,gic: add const qualifier to irqInvalid

Force push
nspinforce pushed to pr/irq-invalid-const • 6f5029c…6a54ed8 • 
on Nov 6, 2024

arm,gic: add const qualifier to irqInvalid

Force push
nspinforce pushed to pr/irq-invalid-const • b0532d5…6f5029c • 
on Nov 6, 2024

arm,gic: add const qualifier to irqInvalid

nspincreated pr/irq-invalid-const • b0532d5 • 
on Nov 6, 2024

remove UNREACHABLE() from resolveAddressBits

nspincreated pr/rm-unreachable • d2a5e9c • 
on Nov 6, 2024

x86: initialize variables

Force push
nspinforce pushed to pr/x86-initialize-vars • 4086a2b…39bded0 • 
on Nov 6, 2024

x86: initialize variables

nspincreated pr/x86-initialize-vars • 4086a2b • 
on Nov 6, 2024

WIP: bcm2711: change seL4_UserTop on aarch32

Force push
nspinforce pushed to x • c92dc2d…dcdd2bc • 
on Jul 31, 2024

Deleted branch

nspindeleted pr/unclobber-interface-xml-files • 
on Jun 30, 2024

trivial: update style

lsf37pushed 1 commit to pr/unclobber-interface-xml-files • 1f51b19…bb0d13d • 
on Jun 30, 2024

libsel4: add links in place of renamed XML files

Force push
nspinforce pushed to pr/unclobber-interface-xml-files • 0c4b031…1f51b19 • 
on Jun 30, 2024

libsel4: add links in place of renamed XML files

Force push
nspinforce pushed to pr/unclobber-interface-xml-files • 70f6765…0c4b031 • 
on Jun 30, 2024

Deleted branch

nspindeleted pr/add-missing-vppi-event-length • 
on Jun 27, 2024

Merge branch 'master' into pr/add-missing-vppi-event-length

lsf37pushed 9 commits to pr/add-missing-vppi-event-length • bf64192…dcffe5d • 
on Jun 27, 2024

libsel4: add links in place of renamed XML files

Force push
nspinforce pushed to pr/unclobber-interface-xml-files • 9ef8875…70f6765 • 
on Jun 27, 2024

libsel4: add links in place of renamed XML files

Force push
nspinforce pushed to x • 6aa639c…c92dc2d • 
on Jun 27, 2024

libsel4: add links in place of renamed XML files

nspincreated x • 6aa639c • 
on Jun 27, 2024

Merge branch 'master' into pr/add-missing-vppi-event-length

lsf37pushed 4 commits to pr/add-missing-vppi-event-length • bec4d9b…bf64192 • 
on Jun 27, 2024

Deleted branch

nspindeleted ing • 
on Jun 23, 2024

x

nspinpushed 1 commit to ing • f5d8561…1219acd • 
on Jun 23, 2024

LOCAL: rpi4: adapt for icecap

Force push
nspinforce pushed to ing • 4c7053f…f5d8561 • 
on Jun 23, 2024

arm: add missing seL4_VPPIEvent_Length constants

nspincreated pr/add-missing-vppi-event-length • bec4d9b • 
on Jun 23, 2024

libsel4: rename interface XML files

Force push
nspinforce pushed to pr/unclobber-interface-xml-files • 691c6b1…9ef8875 • 
on Jun 21, 2024

LOCAL: qemu-arm-virt: adapt for icecap

nspincreated ing • 4c7053f • 
on Jun 20, 2024