twizzler-operating-system / twizzler

The Twizzler Operating System
BSD 3-Clause "New" or "Revised" License
68 stars 15 forks source link

Add a build step to the CI for aarch64 #163

Closed PandaZ3D closed 10 months ago

PandaZ3D commented 10 months ago

We modify the CI to add a step to check if Twizzler builds both userspace and the kernel for aarch64. This helps aarch64 code to stay in sync with changes to generic interfaces implemented in subsequent PR's. In those cases, we could add stubs.

The CI first builds x86_64 code and tests it, then builds code for aarch64. Tests for aarch64 is future work.

Summary