Activity · Panda / seL4 · JiHu GitLab

Snippets Groups Projects

2 weeks ago

Panda @nju

pushed new branch zynqmp-12.0.0 at Panda / seL4

2 weeks ago

Panda @nju

pushed new branch lsf37/ultra96v2 at Panda / seL4

2 weeks ago

Panda @nju

pushed new branch lsf37/set-consumed at Panda / seL4

2 weeks ago

Panda @nju

pushed new branch lsf37/riscv-clock-test at Panda / seL4

2 weeks ago

Panda @nju

pushed new branch lsf37/no-clock-sync-riscv at Panda / seL4

2 weeks ago

Panda @nju

pushed new branch lsf37/irqInvalid at Panda / seL4

2 weeks ago

Panda @nju

pushed new branch lsf37/cython at Panda / seL4

2 weeks ago

Panda @nju

pushed new branch axel-h/ci-base at Panda / seL4

2 weeks ago

Panda @nju

pushed to branch microkit at Panda / seL4

4b97df4c · Merge branch 'master' into microkit
... and 780 more commits. Compare 92f0f3ab...4b97df4c

2 weeks ago

Panda @nju

pushed to branch master at Panda / seL4

6d8b1eae · utils: wrap config_set for verification
... and 240 more commits. Compare 0398d34a...6d8b1eae

2 weeks ago

Panda @nju

pushed to branch mbrcknl/mcs-grant-via-reply-alt at Panda / seL4

75d3f970 · MCS: Remove grant right from reply cap
... and 343 more commits. Compare aae2d80f...75d3f970

2 weeks ago

Panda @nju

pushed to branch mbrcknl/mcs-grant-via-reply at Panda / seL4

c3d77ea0 · MCS: Restrict reply grant rights
... and 342 more commits. Compare acb0870e...c3d77ea0

2 weeks ago

Panda @nju

pushed to branch aos at Panda / seL4

aabe7ec9 · HW Debug API: Better handling of BAS on ARM
... and 437 more commits. Compare 4d7ea43a...aabe7ec9

2 weeks ago

Panda @nju

pushed new tag 13.0.0 at Panda / seL4

1 year ago

Panda @nju

pushed to branch master at Panda / seL4

0398d34a · aarch64/vspace: avoid unnecessary casts
... and 5 more commits. Compare 73553606...0398d34a

1 year ago

Panda @nju

pushed to branch master at Panda / seL4

73553606 · CI: update deploy workflow also

1 year ago

Panda @nju

pushed to branch master at Panda / seL4

e6fbbbb0 · CI: do simulation and HW build with LLVM on RISCV
... and 1 more commit. Compare ed613d7d...e6fbbbb0

1 year ago

Panda @nju

pushed to branch lsf37/verification-tweaks at Panda / seL4

31da08f6 · aarch64/vspace: add performASIDControl annotations

1 year ago

Panda @nju

pushed to branch lsf37/verification-tweaks at Panda / seL4

c59e6cab · tqma8xqp1gb: fix MAX_IRQ setting

1 year ago

Panda @nju

pushed new branch lsf37/verification-tweaks at Panda / seL4