Publish pull/19 (built from linux-kernel-labs/linux#19)

linux-kernel-labs · Mar 3, 2018 · 8afff2c · 8afff2c
1 parent d2e1ee4
commit 8afff2c
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 6 deletions.
diff --git a/pull/19/_sources/lectures/syscalls.rst.txt b/pull/19/_sources/lectures/syscalls.rst.txt
@@ -372,8 +372,8 @@ With VDSO the system call interface is decided by the kernel:
    :level: 2
 
    * a stream of instructions to issue the system call is generated by
-     the kernel in a special memory area (in memory it is formated as
-     an ELF .so file)
+     the kernel in a special memory area (formatted as an ELF shared
+     object)
 
    * that memory area is mapped towards the end of the user address
      space

diff --git a/pull/19/lectures/syscalls-slides.html b/pull/19/lectures/syscalls-slides.html
@@ -322,8 +322,8 @@ <h2>Virtual Dynamic Shared Object (VDSO)</h2>
 
 <ul class="simple">
 <li>a stream of instructions to issue the system call is generated by
-the kernel in a special memory area (in memory it is formated as
-an ELF .so file)</li>
+the kernel in a special memory area (formatted as an ELF shared
+object)</li>
 <li>that memory area is mapped towards the end of the user address
 space</li>
 <li>libc searches for VDSO and if present will use it to issue the

diff --git a/pull/19/lectures/syscalls.html b/pull/19/lectures/syscalls.html
@@ -394,8 +394,8 @@ <h2>Virtual Dynamic Shared Object (VDSO)<a class="headerlink" href="#virtual-dyn
 <p>With VDSO the system call interface is decided by the kernel:</p>
 <ul class="admonition-virtual-dynamic-shared-object-vdso simple">
 <li>a stream of instructions to issue the system call is generated by
-the kernel in a special memory area (in memory it is formated as
-an ELF .so file)</li>
+the kernel in a special memory area (formatted as an ELF shared
+object)</li>
 <li>that memory area is mapped towards the end of the user address
 space</li>
 <li>libc searches for VDSO and if present will use it to issue the