X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=kitten%2Farch%2Fx86_64%2Flib%2FMakefile;fp=kitten%2Farch%2Fx86_64%2Flib%2FMakefile;h=a7c7114bfa48b28b00bc2308cf54d5976025c8ed;hb=66a1a4c7a9edcd7d8bc207aca093d694a6e6b5b2;hp=0000000000000000000000000000000000000000;hpb=f7cf9c19ecb0a589dd45ae0d2c91814bd3c2acc2;p=palacios.git

diff --git a/kitten/arch/x86_64/lib/Makefile b/kitten/arch/x86_64/lib/Makefile
new file mode 100644
index 0000000..a7c7114
--- /dev/null
+++ b/kitten/arch/x86_64/lib/Makefile
@@ -0,0 +1,4 @@
+#
+# Makefile for x86_64-specific library files.
+#
+lib-y += memmove.o memset.o memcpy.o thunk.o delay.o bitops.o extable.o copy_user.o usercopy.o getuser.o putuser.o