diff --git a/hermit/build.rs b/hermit/build.rs index f650a14f2..b4d29bfa5 100644 --- a/hermit/build.rs +++ b/hermit/build.rs @@ -96,20 +96,20 @@ impl KernelSrc { [ "acpi", "dhcpv4", + "dns", + "fs", "fsgsbase", + "idle-poll", + "mmap", "pci", "pci-ids", + "rtl8139", + "shell", "smp", "tcp", - "udp", "trace", + "udp", "vga", - "rtl8139", - "fs", - "shell", - "dns", - "mmap", - "idle-poll", "vsock", ] .into_iter(),