Giters

hermit-os / hermit-rs

Hermit for Rust.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Rework Dockerfile

mkroening opened this issue · comments

commented

This Dockerfile should be reworked similar to hermit-os/kernel#315.