The x86_64 kernel headers are the x86 kernel headers.

Change-Id: I8763aee7043800eb23a720914b57396e79fa812e
2013-10-01 18:03:23 -07:00
parent 5e244a9bee
commit 86d920c302
1 changed files with 1 additions and 0 deletions
--- a/libc/kernel/arch-x86_64
+++ b/libc/kernel/arch-x86_64
@@ -0,0 +1 @@
+arch-x86