vhive-serverless/vSwarm-u

Create initial CI pipelines

Closed this issue · 0 comments

We need pipelines for building:

  • Linux kernel
  • Disk image
  • gem5

Furthermore a pipeline is needed to test one function with

  • Emulator
  • Simulator

Build badges in main Readme.