search

chaos4ever / chaos

The chaos Operating System
https://chaos4ever.github.io/
16 stars 7 forks source link

[build] Add support for building Docker images #136

Closed perlun closed 5 years ago

perlun commented 5 years ago

This is pretty "quick and dirty", but works reasonably well. The code is both built and run inside two separate Docker containers - one with gcc, nasm etc (with an obviously larger footprint) and another one based on a smaller Debian base image, with only qemu and the resulting .iso file.

perlun commented 5 years ago

The CI failure is because of an intermittent failure w/ gcc 4.9. We can pretty safely ignore it. Merging.