sel4/camkes-vm-examples issues and pull requests

#78 - Infra alloc

Pull Request - State: closed - Opened by BlankCanvasStudio 3 months ago - 1 comment

#78 - Infra alloc

Pull Request - State: closed - Opened by BlankCanvasStudio 3 months ago - 1 comment

#77 - [Failed build] jinja2.exceptions.TemplateSyntaxError: expected token 'end of statement block', got 'x80000'

Issue - State: closed - Opened by jingjin666 6 months ago - 1 comment

#77 - [Failed build] jinja2.exceptions.TemplateSyntaxError: expected token 'end of statement block', got 'x80000'

Issue - State: closed - Opened by jingjin666 6 months ago - 1 comment

#76 - Vm multi updates

Pull Request - State: closed - Opened by briankoco 7 months ago

#76 - Vm multi updates

Pull Request - State: closed - Opened by briankoco 7 months ago

#75 - Vm multi updates

Pull Request - State: closed - Opened by briankoco 7 months ago

#75 - Vm multi updates

Pull Request - State: closed - Opened by briankoco 7 months ago

#74 - vm_minimal, QEMU: block aarch32 build

Pull Request - State: closed - Opened by axel-h 10 months ago

#74 - vm_minimal, QEMU: block aarch32 build

Pull Request - State: closed - Opened by axel-h 10 months ago

#73 - VM_minimal for QEMU/ARMv7 does not work due to missing linux images

Issue - State: closed - Opened by axel-h 10 months ago - 1 comment
Labels: help wanted

#73 - VM_minimal for QEMU/ARMv7 does not work due to missing linux images

Issue - State: closed - Opened by axel-h 10 months ago - 1 comment
Labels: help wanted

#72 - CI testing ZCU102 SMP

Pull Request - State: closed - Opened by axel-h 10 months ago - 12 comments
Labels: hw-test

#72 - CI testing ZCU102 SMP

Pull Request - State: closed - Opened by axel-h 10 months ago - 12 comments
Labels: hw-test

#71 - vm_minimal, zcu102: add petalinux 2022.1 support

Pull Request - State: closed - Opened by chrisguikema 10 months ago

#71 - vm_minimal, zcu102: add petalinux 2022.1 support

Pull Request - State: closed - Opened by chrisguikema 10 months ago

#70 - CI: pick unique name for deployment workflow

Pull Request - State: closed - Opened by axel-h 10 months ago
Labels: CI

#70 - CI: pick unique name for deployment workflow

Pull Request - State: closed - Opened by axel-h 10 months ago
Labels: CI

#69 - CI: don't have PR runs cancel each other

Pull Request - State: closed - Opened by axel-h 10 months ago - 1 comment
Labels: CI

#69 - CI: don't have PR runs cancel each other

Pull Request - State: closed - Opened by axel-h 10 months ago - 1 comment
Labels: CI

#68 - CI concurrency testing

Pull Request - State: closed - Opened by axel-h 10 months ago
Labels: CI, hw-test

#68 - CI concurrency testing

Pull Request - State: closed - Opened by axel-h 10 months ago
Labels: CI, hw-test

#67 - testign CI concurrenty handling

Pull Request - State: closed - Opened by axel-h 10 months ago
Labels: CI, hw-test

#67 - testign CI concurrenty handling

Pull Request - State: closed - Opened by axel-h 10 months ago
Labels: CI, hw-test

#66 - Separate CI build and simulation run

Issue - State: open - Opened by axel-h 10 months ago
Labels: CI

#66 - Separate CI build and simulation run

Issue - State: open - Opened by axel-h 10 months ago
Labels: CI

#65 - Github CI concurrency seems to cancel runs due to priority quirks

Issue - State: closed - Opened by axel-h 10 months ago - 4 comments
Labels: CI

#65 - Github CI concurrency seems to cancel runs due to priority quirks

Issue - State: closed - Opened by axel-h 10 months ago - 4 comments
Labels: CI

#64 - Testing CI runs for ZCU102 hardware

Pull Request - State: closed - Opened by axel-h 10 months ago - 3 comments
Labels: hw-test

#64 - Testing CI runs for ZCU102 hardware

Pull Request - State: closed - Opened by axel-h 10 months ago - 3 comments
Labels: hw-test

#63 - github: update GitHub actions

Pull Request - State: closed - Opened by axel-h 10 months ago
Labels: CI

#63 - github: update GitHub actions

Pull Request - State: closed - Opened by axel-h 10 months ago
Labels: CI

#62 - CI: use commits from PR and not from master

Pull Request - State: closed - Opened by axel-h 10 months ago
Labels: bug, CI

#62 - CI: use commits from PR and not from master

Pull Request - State: closed - Opened by axel-h 10 months ago
Labels: bug, CI

#61 - CI: the seL4/machine_queue repo is public now

Pull Request - State: closed - Opened by axel-h 10 months ago
Labels: CI

#61 - CI: the seL4/machine_queue repo is public now

Pull Request - State: closed - Opened by axel-h 10 months ago
Labels: CI

#60 - CI: support hardware build and test for PRs

Pull Request - State: closed - Opened by axel-h 10 months ago - 1 comment
Labels: CI

#60 - CI: support hardware build and test for PRs

Pull Request - State: closed - Opened by axel-h 10 months ago - 1 comment
Labels: CI

#59 - dummy PR for CI test

Pull Request - State: closed - Opened by axel-h 10 months ago - 1 comment
Labels: hw-test

#59 - dummy PR for CI test

Pull Request - State: closed - Opened by axel-h 10 months ago - 1 comment
Labels: hw-test

#58 - vm_minimal, zcu102: add petalinux 2018.3 support

Pull Request - State: closed - Opened by chrisguikema 10 months ago - 1 comment
Labels: hw-test

#58 - vm_minimal, zcu102: add petalinux 2018.3 support

Pull Request - State: closed - Opened by chrisguikema 10 months ago - 1 comment
Labels: hw-test

#57 - vm_virtio_net: add zcu102 support

Pull Request - State: closed - Opened by chrisguikema 10 months ago - 19 comments
Labels: hw-test

#57 - vm_virtio_net: add zcu102 support

Pull Request - State: closed - Opened by chrisguikema 10 months ago - 19 comments
Labels: hw-test

#56 - vm_minimal, zcu102: update plat_keep_devices

Pull Request - State: closed - Opened by chrisguikema 10 months ago

#56 - vm_minimal, zcu102: update plat_keep_devices

Pull Request - State: closed - Opened by chrisguikema 10 months ago

#55 - CI: don't run hardware test on forks

Pull Request - State: closed - Opened by axel-h 10 months ago - 2 comments

#55 - CI: don't run hardware test on forks

Pull Request - State: closed - Opened by axel-h 10 months ago - 2 comments

#54 - CMake: fail for unsupported platforms

Pull Request - State: open - Opened by axel-h 10 months ago - 4 comments
Labels: hw-test

#54 - CMake: fail for unsupported platforms

Pull Request - State: open - Opened by axel-h 10 months ago - 4 comments
Labels: hw-test

#53 - README: bring build instructions up to date

Pull Request - State: closed - Opened by lsf37 10 months ago - 1 comment
Labels: docs

#53 - README: bring build instructions up to date

Pull Request - State: closed - Opened by lsf37 10 months ago - 1 comment
Labels: docs

#52 - x86_64 is supported or it is not...?

Issue - State: closed - Opened by hugusmaximus 10 months ago - 2 comments
Labels: question, docs

#52 - x86_64 is supported or it is not...?

Issue - State: closed - Opened by hugusmaximus 10 months ago - 2 comments
Labels: question, docs

#51 - x86, minimal_64: use hpet

Pull Request - State: closed - Opened by chrisguikema about 1 year ago
Labels: hw-test

#51 - x86, minimal_64: use hpet

Pull Request - State: closed - Opened by chrisguikema about 1 year ago
Labels: hw-test

#50 - x86: add minimal_64 application for 64-bit tests

Pull Request - State: closed - Opened by chrisguikema about 1 year ago

#50 - x86: add minimal_64 application for 64-bit tests

Pull Request - State: closed - Opened by chrisguikema about 1 year ago

#49 - x86, minimal: compile 64-bit VM with HPET

Pull Request - State: closed - Opened by chrisguikema about 1 year ago

#49 - x86, minimal: compile 64-bit VM with HPET

Pull Request - State: closed - Opened by chrisguikema about 1 year ago

#48 - x86, minimal: add 64-bit flag

Pull Request - State: closed - Opened by chrisguikema about 1 year ago - 3 comments

#48 - x86, minimal: add 64-bit flag

Pull Request - State: closed - Opened by chrisguikema about 1 year ago - 3 comments

#47 - github: bump GitHub action versions

Pull Request - State: closed - Opened by lsf37 about 1 year ago
Labels: CI

#47 - github: bump GitHub action versions

Pull Request - State: closed - Opened by lsf37 about 1 year ago
Labels: CI

#46 - vm_minimal: add zcu102 support

Pull Request - State: closed - Opened by chrisguikema about 1 year ago - 10 comments

#46 - vm_minimal: add zcu102 support

Pull Request - State: closed - Opened by chrisguikema about 1 year ago - 10 comments

#45 - Copy timestamp of icmp data field

Pull Request - State: closed - Opened by FelixSchladt over 1 year ago - 7 comments
Labels: bug, hw-test

#45 - Copy timestamp of icmp data field

Pull Request - State: closed - Opened by FelixSchladt over 1 year ago - 7 comments
Labels: bug, hw-test

#44 - Remove affinity setting from optiplex example

Pull Request - State: closed - Opened by kent-mcleod over 1 year ago

#44 - Remove affinity setting from optiplex example

Pull Request - State: closed - Opened by kent-mcleod over 1 year ago

#43 - Support hw-test CI run

Issue - State: closed - Opened by axel-h over 1 year ago - 2 comments
Labels: CI

#43 - Support hw-test CI run

Issue - State: closed - Opened by axel-h over 1 year ago - 2 comments
Labels: CI

#42 - CMake: avoid using bash and output redirection

Pull Request - State: closed - Opened by axel-h over 1 year ago - 3 comments

#42 - CMake: avoid using bash and output redirection

Pull Request - State: closed - Opened by axel-h over 1 year ago - 3 comments

#41 - Clean up CMake, fail build for unsupported platforms

Pull Request - State: open - Opened by axel-h over 1 year ago

#41 - Clean up CMake, fail build for unsupported platforms

Pull Request - State: open - Opened by axel-h over 1 year ago

#40 - x86: Add new minimal_64 test

Pull Request - State: closed - Opened by abrandnewusername over 1 year ago - 3 comments

#40 - x86: Add new minimal_64 test

Pull Request - State: closed - Opened by abrandnewusername over 1 year ago - 3 comments

#39 - vm_introspect: fix build breaker and warning

Pull Request - State: closed - Opened by axel-h over 1 year ago - 3 comments

#39 - vm_introspect: fix build breaker and warning

Pull Request - State: closed - Opened by axel-h over 1 year ago - 3 comments

#38 - vm_introspect is broken, not visible because CI does not cover it

Issue - State: closed - Opened by axel-h over 1 year ago - 2 comments
Labels: bug, help wanted, CI

#38 - vm_introspect is broken, not visible because CI does not cover it

Issue - State: closed - Opened by axel-h over 1 year ago - 2 comments
Labels: bug, help wanted, CI

#37 - CMake: use params for DefineCAmkESVMFileServer()

Pull Request - State: open - Opened by axel-h over 1 year ago - 1 comment
Labels: hw-build

#37 - CMake: use params for DefineCAmkESVMFileServer()

Pull Request - State: open - Opened by axel-h over 1 year ago - 1 comment
Labels: hw-build

#36 - camkes-vm-apps: use empty list

Pull Request - State: open - Opened by axel-h over 1 year ago