twizzler-operating-system / twizzler

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

Kernel Tests for aarch64 #124

Closed PandaZ3D closed 1 year ago

PandaZ3D commented 1 year ago

Support for the kernel test framework has been implemented. We modified xtask to compile kernel tests (-t/--tests) for ARM. To get this going in the kernel, we needed to read in the command line from the bootloader.

Support for reading the debug symbols from the kernel's ELF file was also added in. Most of that was largely handled in an arch-independent way.

Summary