1 files changed, 1 insertions, 1 deletions

diff --git a/user/zhengda.mdwn b/user/zhengda.mdwn
index 56228efd..8842f765 100644
--- a/user/zhengda.mdwn
+++ b/user/zhengda.mdwn
@@ -21,7 +21,7 @@ There is a minor problem when we compile a Linux driver. Linux drivers use jiffi
 
 ## Build and run DDE drivers
 
-DDE requires the pfinet with the modification during my GSoC project in 2008 and that pfinet requires libpcap-dev. To build DDE, we have to first install libpciaccess. libdde_linux26 has to be compiled manually (building dde_pcnet32 doesn't compile libdde_linux26 automatically). 
+It is better to disable the corresponding kernel drivers in GNU Mach. For example, if we use the pcnet card, we'd better disable lance and pcnet32 drivers while building GNU Mach. DDE requires the pfinet with the modification during my GSoC project in 2008 and that pfinet requires libpcap-dev. To build DDE, we have to first install libpciaccess. libdde_linux26 has to be compiled manually (building dde_pcnet32 doesn't compile libdde_linux26 automatically). 
 
 To build a Linux driver with DDE Linux, the easiest way is to use dde_pcnet32 (also in the dde branch) as a template. The directory of dde_pcnet32 has Makefile, Makeconf.local, default.ld, pcnet32.c and main.c. If we need to build a new driver file, we only need to replace pcnet32.c with the new file and change Makefile accordingly.