From 40c57a0b94d549d65c807696fb81177ef062a486 Mon Sep 17 00:00:00 2001
From: Marc Fiuczynski <mef@cs.princeton.edu>
Date: Fri, 29 Dec 2006 22:17:31 +0000
Subject: [PATCH] x86_64 kernel build support

---
 planetlab.mk | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/planetlab.mk b/planetlab.mk
index 3de65c5d..b8a51338 100644
--- a/planetlab.mk
+++ b/planetlab.mk
@@ -4,7 +4,7 @@
 # Mark Huang <mlhuang@cs.princeton.edu>
 # Copyright (C) 2003-2006 The Trustees of Princeton University
 #
-# $Id: planetlab.mk,v 1.38 2006/12/20 04:43:19 mef Exp $
+# $Id: planetlab.mk,v 1.39 2006/12/26 21:21:30 mef Exp $
 #
 
 #
@@ -49,6 +49,11 @@ endif
 # kernel
 #
 
+kernel-x86_64-MODULE := linux-2.6
+kernel-x86_64-RPMFLAGS:= --target x86_64
+kernel-x86_64-SPEC := linux-2.6/scripts/kernel-2.6-planetlab.spec
+ALL += kernel-x86_64
+
 kernel-i686-MODULE := linux-2.6
 kernel-i686-RPMFLAGS:= --target i686
 kernel-i686-SPEC := linux-2.6/scripts/kernel-2.6-planetlab.spec
-- 
2.47.0