X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=INSTALL;h=4d94c52a76d941b0a8d214d271da93f90d4d5cb9;hb=05ba03e000011fdfb6080b34d9f599e324db2987;hp=671c4a49dba6c1fe93931cba171be37a096536bd;hpb=f6eb6b202533ad393b8d1d8e6ae6e502cbf19caf;p=openvswitch

diff --git a/INSTALL b/INSTALL
index 671c4a49..4d94c52a 100644
--- a/INSTALL
+++ b/INSTALL
@@ -261,6 +261,11 @@ Prerequisites section, follow the procedure below to build.
    you do not understand what this means or do not know if your driver
    will work, do not set this.
 
+   Once you verify that the kernel modules load properly, you should
+   install them:
+
+      % make modules_install
+
 7. Initialize the configuration database using ovsdb-tool, e.g.:
 
       % mkdir -p /usr/local/etc/openvswitch