diff --git a/hermit/Cargo.toml b/hermit/Cargo.toml index 9d5a6df89..383a3d26a 100644 --- a/hermit/Cargo.toml +++ b/hermit/Cargo.toml @@ -49,6 +49,7 @@ rtl8139 = ["pci"] shell = [] smp = [] +strace = [] tcp = [] trace = [] udp = [] diff --git a/hermit/build.rs b/hermit/build.rs index b4d29bfa5..6a028ee28 100644 --- a/hermit/build.rs +++ b/hermit/build.rs @@ -106,6 +106,7 @@ impl KernelSrc { "rtl8139", "shell", "smp", + "strace", "tcp", "trace", "udp",