[PATCH 11/11] doc: correct grammar in Linux drivers guide

[Stephen Hemminger <stephen@networkplumber.org>]

Add missing space after comma in device list.
Add possessive apostrophe in "distribution's documentation".
Change "co-exists" to "co-exist" for subject-verb agreement.
Correct cross-reference direction from "below" to "above".

Signed-off-by: Stephen Hemminger <stephen@networkplumber.org>
---
 doc/guides/linux_gsg/linux_drivers.rst | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/doc/guides/linux_gsg/linux_drivers.rst b/doc/guides/linux_gsg/linux_drivers.rst
index 739fc0226c..a7d64d486c 100644
--- a/doc/guides/linux_gsg/linux_drivers.rst
+++ b/doc/guides/linux_gsg/linux_drivers.rst
@@ -90,7 +90,7 @@ To see the status of all network ports on the system:
     =====================
     <none>
 
-To bind device ``eth1``,``04:00.1``, to the ``vfio-pci`` driver:
+To bind device ``eth1``, ``04:00.1``, to the ``vfio-pci`` driver:
 
 .. code-block:: console
 
@@ -120,7 +120,7 @@ To make use of VFIO, the ``vfio-pci`` module must be loaded:
     sudo modprobe vfio-pci
 
 VFIO kernel is usually present by default in all distributions,
-however please consult your distributions documentation to make sure that is the case.
+however please consult your distribution's documentation to make sure that is the case.
 
 To make use of full VFIO functionality,
 both kernel and BIOS must support and be configured
@@ -358,7 +358,7 @@ or PMD name matches platform device name, all in that order.
 
 VFIO Platform depends on ARM/ARM64 and is usually enabled on distributions
 running on these systems.
-Consult your distributions documentation to make sure that is the case.
+Consult your distribution's documentation to make sure that is the case.
 
 
 .. _bifurcated_driver:
@@ -366,7 +366,7 @@ Consult your distributions documentation to make sure that is the case.
 Bifurcated Driver
 -----------------
 
-PMDs which use the bifurcated driver co-exists with the device kernel driver.
+PMDs which use the bifurcated driver co-exist with the device kernel driver.
 On such model the NIC is controlled by the kernel, while the data
 path is performed by the PMD directly on top of the device.
 
@@ -428,7 +428,7 @@ It can be loaded as shown below:
    the Linux kernel may disallow the use of UIO on the system.
    Therefore, devices for use by DPDK should be bound to the ``vfio-pci`` kernel module
    rather than any UIO-based module.
-   For more details see :ref:`linux_gsg_binding_kernel` below.
+   For more details see :ref:`linux_gsg_binding_kernel` above.
 
 .. note::
 
-- 
2.51.0