Skip to content

ci: add hardware CI#222

Open
midnightveil wants to merge 3 commits intomainfrom
julia/hw-ci
Open

ci: add hardware CI#222
midnightveil wants to merge 3 commits intomainfrom
julia/hw-ci

Conversation

@midnightveil
Copy link
Copy Markdown
Contributor

@midnightveil midnightveil commented Apr 16, 2026 •
edited
Loading

No description provided.

@midnightveil midnightveil force-pushed the julia/hw-ci branch 2 times, most recently from d629203 to 41a50eb Compare April 16, 2026 06:35
Ivan-Velickovic
Ivan-Velickovic reviewed Apr 16, 2026
View reviewed changes
Comment thread .github/workflows/ci.yaml
# This is a random time as GitHub suggests non-hour-aligned times as their
# runners are busier at that time, and it has been scheduled to avoid
# conflicts with humans trying to use the boards.
- cron: '37 7 * * 4'
Copy link
Copy Markdown
Collaborator

@Ivan-Velickovic Ivan-Velickovic Apr 16, 2026

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Maybe not the same time as sDDF?

Copy link
Copy Markdown
Contributor Author

@midnightveil midnightveil Apr 16, 2026

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

It's not, it's a Friday not a Thursday.

Copy link
Copy Markdown
Collaborator

@Ivan-Velickovic Ivan-Velickovic Apr 16, 2026

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Whoops.

@Ivan-Velickovic
Copy link
Copy Markdown
Collaborator

Ivan-Velickovic commented Apr 16, 2026

Forgot I hadn't merged #220 yet. Done now, will re-run the job.

@midnightveil @Ivan-Velickovic
ci: update to github actions/checkout/artifact for node versioning
1a73d28 
Signed-off-by: Julia Vassiliki <julia.vassiliki@unsw.edu.au>
@midnightveil @Ivan-Velickovic
ci: add hardware CI
aa14168 
Signed-off-by: Julia Vassiliki <julia.vassiliki@unsw.edu.au>
@midnightveil @Ivan-Velickovic
hw ci: run on a schedule
0c9ee83 
Signed-off-by: Julia Vassiliki <julia.vassiliki@unsw.edu.au>
@Ivan-Velickovic
Copy link
Copy Markdown
Collaborator

Ivan-Velickovic commented Apr 17, 2026

Okay now the only failure is maaxboard simple example with debug/make.

This error is really weird though, I've never seen it before.

  Bytes transferred = 40432928 (268f520 hex)
  Automatic boot of image at addr 0x50000000 ...
  Wrong Image Format for tftpboot command
  ERROR: can't get kernel image!
  u-boot=> go ${loadaddr}
  go ${loadaddr}
  ## Starting application at 0x50000000 ...
  LDR|INFO|CPU0: CurrentEL=EL2
  LDR|INFO|CPU0: Resetting CNTVOFF
  LDR|INFO: disabling MMU (if it was enabled)
  LDR|INFO: PSCI version is 1.1
  LDR|INFO: altloader for seL4 starting
  LDR|INFO: flags:
               seL4 configured as hypervisor
  LDR|INFO: kernel:      entry:   0x0000008040000000
  LDR|INFO: root server: physmem: 0x0000000040248000 -- 0x00000000426a4000
  LDR|INFO:              virtmem: 0x0000000000200000 -- 0x000000000265c000
  LDR|INFO:              entry  : 0x0000000000221904
  LDR|INFO: region: 0x00000000   addr: 0x0000000040000000   size: 0x0000000000248000   offset: 0x0000000000000000   type: 0x0000000000000001
  LDR|INFO: region: 0x00000001   addr: 0x0000000040248000   size: 0x000000000000a304   offset: 0x0000000000248000   type: 0x0000000000000001
  LDR|INFO: region: 0x00000002   addr: 0x0000000040262308   size: 0x0000000000013a08   offset: 0x0000000000252304   type: 0x0000000000000001
  LDR|INFO: region: 0x00000003   addr: 0x0000000040285d10   size: 0x00000000000100b0   offset: 0x0000000000265d0c   type: 0x0000000000000001
  LDR|INFO: region: 0x00000004   addr: 0x0000000040296000   size: 0x0000000000134654   offset: 0x0000000000275dbc   type: 0x0000000000000001
  LDR|INFO: region: 0x00000005   addr: 0x00000000403cb000   size: 0x00000000022d9000   offset: 0x00000000003aa410   type: 0x0000000000000001
  LDR|INFO: copying region 0x00000000
  LDR|INFO: copying region 0x00000001
  LDR|INFO: copying region 0x00000002
  LDR|INFO: copying region 0x00000003
  LDR|INFO: copying region 0x00000004
  LDR|INFO: copying region 0x00000005
  LDR|INFO|CPU0: active CPUs to start: 0x00000001
  LDR|INFO|CPU0: enabling MMU
  LDR|INFO|CPU0: CurrentEL=EL2
  LDR|INFO|CPU0: Resetting CNTVOFF
  LDR|INFO|CPU0: enabling MMU
  LDR|INFO|CPU0: jumping to kernel
  Bootstrapping kernel
  available phys memory regions: 1
    [40000000..c0000000)
  reserved virt address space regions: 2
    [8040000000..8040248000)
    [8040248000..80426a4000)
  Booting all finished, dropped to user space
  INFO  [sel4_capdl_initializer::initialize] Starting CapDL initializer
  INFO  [sel4_capdl_initializer::initialize] Starting threads
  MON|INFO: Microkit Monitor started!
  VMM|INFO: starting "VMM"
  VMM|INFO: Copying guest kernel image to 0x40000000 (0x21f8a00 bytes)
  VMM|INFO: Copying guest DTB to 0x4f000000 (0x95f7 bytes)
  VMM|INFO: Copying guest initial RAM disk to 0x4c000000 (0xbb25b bytes)
  VMM|INFO: initialised virtual GICv3 (distributor: 0x38800000, redistributor: 0x38880000)
  VMM|INFO: starting guest at 0x40000000, DTB at 0x4f000000, initial RAM disk at 0x4c000000
  VMM|INFO: Received syscall 0x2
  VMM|ERROR: Unknown syscall: syscall number: 0x2, PC: 0xffff80000801f670
  VMM|ERROR: Failed to handle unknown syscall fault
  VMM|INFO: dumping TCB (ID 0x0) registers:
      pc: 0xffff80000801f670
      sp: 0xffff800009ed3340
      spsr: 0x00000000600001c5
      x0: 0x0000000000000003
      x1: 0xffff80000a1f8000
      x2: 0x0000000000000000
      x3: 0x0000000000000000
      x4: 0x0000000000008c20
      x5: 0x00000000000095f7
      x6: 0x0000000000008428
      x7: 0x0000000000000002
      x8: 0xfffffbfffdc00000
      x16: 0x00400032b5503510
      x17: 0x000000040044ffff
      x18: 0x0000000000000000
      x29: 0xffff800009ec3ea0
      x30: 0xffff8000098203e4
      x9: 0x0000000000008424
      x10: 0xffff800009ec3de4
      x11: 0x0000000000008310
      x12: 0xffff800009ec3de0
      x13: 0xfffffbfffdc00000
      x14: 0x0000000000000000
      x15: 0x0000000000000000
      x19: 0x0200002034f4d91d
      x20: 0x0000000030d00800
      x21: 0x000000004f000000
      x22: 0x0000000000000000
      x23: 0x0000000000000000
      x24: 0x0000000000000000
      x25: 0x0000000000000000
      x26: 0x0000000000000000
      x27: 0x0000000000000000
      x28: 0x0000000041820018
      tpidr_el0: 0x0000000000000000
      tpidrro_el0: 0x0000000000000000
  VMM|INFO: dumping VCPU (ID 0x0) registers:
      sctlr: 0x0000000034d4d91d
      ttbr0: 0x000000004180d000
      ttbr1: 0x000000004227c000
      tcr: 0x00000032b5503510
      mair: 0x000000040044ffff
      amair: 0x0000000000000000
      cidr: 0x0000000000000000
      actlr: 0x0000000000000000
      cpacr: 0x0000000000300000
      afsr0: 0x0000000000000000
      afsr1: 0x0000000000000000
      esr: 0x0000000000000000
      far: 0x0000000000000000
      isr: 0x0000000000000000
      vbar: 0xffff800008010800
      tpidr_el1: 0x0000000000000000
      sp_el1: 0xffff800009ec3ea0
      elr_el1: 0x0000000041820008
      spsr_el1: 0x00000000000003c5
      cntv_ctl: 0x0000000000000000
      cntv_cval: 0x0000000000000000
      cntvoff: 0x0000000000000000
      cntkctl_el1: 0x0000000000000000
  <<seL4(CPU 0) [receiveIPC/142 T0x80426ce400 "VMM" @20d580]: Reply object already has unexecuted reply!>>

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@Ivan-Velickovic Ivan-Velickovic Ivan-Velickovic left review comments

At least 1 approving review is required to merge this pull request.

Assignees

No one assigned

Labels

hardware-test

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@midnightveil @Ivan-Velickovic