From 6c7de28d4b83600f84bf578691d34a6a46c885ae Mon Sep 17 00:00:00 2001
From: Circle CI <circle.ci@kltp.org>
Date: Sat, 3 Mar 2018 11:46:52 +0000
Subject: [PATCH] Publish pull/19 (built from
 https://github.com/linux-kernel-labs/linux/pull/19)

---
 pull/19/_sources/lectures/intro.rst.txt    | 8 ++++----
 pull/19/_sources/lectures/syscalls.rst.txt | 4 ++--
 pull/19/lectures/intro.html                | 8 ++++----
 pull/19/lectures/syscalls-slides.html      | 4 ++--
 pull/19/lectures/syscalls.html             | 4 ++--
 5 files changed, 14 insertions(+), 14 deletions(-)

diff --git a/pull/19/_sources/lectures/intro.rst.txt b/pull/19/_sources/lectures/intro.rst.txt
index 897ed358..2d42f8d0 100644
--- a/pull/19/_sources/lectures/intro.rst.txt
+++ b/pull/19/_sources/lectures/intro.rst.txt
@@ -69,10 +69,10 @@ protection or to virtual address spaces associated with either the
 kernel or user applications.
 
 Grossly simplifying, the kernel space is the memory area that is
-reserved to the kernel while user space is the memory area
-reserved to a particular user process. The kernel space is accessed
-protected so that user applications can not access it directly, while
-user space can be directly accessed from code running in kernel mode.
+reserved to the kernel while user space is the memory area reserved to
+a particular user process. The kernel space is accessed protected so
+that user applications can not access it directly, while user space
+can be directly accessed from code running in kernel mode.
 
 
 Typical operating system architecture
diff --git a/pull/19/_sources/lectures/syscalls.rst.txt b/pull/19/_sources/lectures/syscalls.rst.txt
index 67c2ede9..b37d54bf 100644
--- a/pull/19/_sources/lectures/syscalls.rst.txt
+++ b/pull/19/_sources/lectures/syscalls.rst.txt
@@ -326,8 +326,8 @@ crafted:
    :inline-contents: True
    :level: 2
 
-   * The exact instructions that access user space are recorded
-     in a table (exception table)
+   * The exact instructions that access user space are recorded in a
+     table (exception table)
 
    * When a page fault occurs the faulting address is checked against
      this table
diff --git a/pull/19/lectures/intro.html b/pull/19/lectures/intro.html
index 23b36201..85743988 100644
--- a/pull/19/lectures/intro.html
+++ b/pull/19/lectures/intro.html
@@ -251,10 +251,10 @@ <h3>User vs Kernel<a class="headerlink" href="#user-vs-kernel" title="Permalink
 protection or to virtual address spaces associated with either the
 kernel or user applications.</p>
 <p>Grossly simplifying, the kernel space is the memory area that is
-reserved to the kernel while user space is the memory area
-reserved to a particular user process. The kernel space is accessed
-protected so that user applications can not access it directly, while
-user space can be directly accessed from code running in kernel mode.</p>
+reserved to the kernel while user space is the memory area reserved to
+a particular user process. The kernel space is accessed protected so
+that user applications can not access it directly, while user space
+can be directly accessed from code running in kernel mode.</p>
 </div>
 <div class="section" id="typical-operating-system-architecture">
 <h3>Typical operating system architecture<a class="headerlink" href="#typical-operating-system-architecture" title="Permalink to this headline">¶</a></h3>
diff --git a/pull/19/lectures/syscalls-slides.html b/pull/19/lectures/syscalls-slides.html
index f006e48b..b64b9283 100644
--- a/pull/19/lectures/syscalls-slides.html
+++ b/pull/19/lectures/syscalls-slides.html
@@ -274,8 +274,8 @@ <h2>Page fault handling</h2>
 <h2>Marking kernel code that accesses user space</h2>
 
 <ul class="simple">
-<li>The exact instructions that access user space are recorded
-in a table (exception table)</li>
+<li>The exact instructions that access user space are recorded in a
+table (exception table)</li>
 <li>When a page fault occurs the faulting address is checked against
 this table</li>
 </ul>
diff --git a/pull/19/lectures/syscalls.html b/pull/19/lectures/syscalls.html
index ea6ac854..946fbf4d 100644
--- a/pull/19/lectures/syscalls.html
+++ b/pull/19/lectures/syscalls.html
@@ -347,8 +347,8 @@ <h3>System call parameters handling<a class="headerlink" href="#system-call-para
 <code class="xref c c-func docutils literal"><span class="pre">copy_to_user()</span></code>) to accesses user space that are specially
 crafted:</p>
 <ul class="admonition-marking-kernel-code-that-accesses-user-space simple">
-<li>The exact instructions that access user space are recorded
-in a table (exception table)</li>
+<li>The exact instructions that access user space are recorded in a
+table (exception table)</li>
 <li>When a page fault occurs the faulting address is checked against
 this table</li>
 </ul>