Publish master (built from master)

linux-kernel-labs · Mar 6, 2018 · b5ef405 · b5ef405
1 parent 365ab86
commit b5ef405
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/master/_sources/lectures/syscalls.rst.txt b/master/_sources/lectures/syscalls.rst.txt
@@ -67,7 +67,7 @@ and kernel specific) that do the following:
 In Linux, system calls are identified by numbers and the parameters
 for system calls are machine word sized (32 or 64 bit). There can be a
 maximum of 6 system call parameters. Both the system call number and
-the parameters are they are stored in certain registers.
+the parameters are stored in certain registers.
 
 For example, on 32bit x86 architecture, the system call identifier is
 stored in the EAX register, while parameters in registers EBX, ECX,
@@ -89,7 +89,7 @@ System libraries (e.g. libc) offers functions that implement the
 actual system calls in order to make it easier for applications to use
 them.
 
-When a user to kernel mode transitions occurs the execution flow is
+When a user to kernel mode transition occurs, the execution flow is
 interrupted and it is transfered to a kernel entry point. This is
 similar with how interrupts and exception are handled (in fact on some
 architectures this transition happens as a result of an exception).

diff --git a/master/lectures/syscalls.html b/master/lectures/syscalls.html
@@ -210,14 +210,14 @@ <h2>Linux system calls implementation<a class="headerlink" href="#linux-system-c
 <p>In Linux, system calls are identified by numbers and the parameters
 for system calls are machine word sized (32 or 64 bit). There can be a
 maximum of 6 system call parameters. Both the system call number and
-the parameters are they are stored in certain registers.</p>
+the parameters are stored in certain registers.</p>
 <p>For example, on 32bit x86 architecture, the system call identifier is
 stored in the EAX register, while parameters in registers EBX, ECX,
 EDX, ESI, EDI, EBP.</p>
 <span class="admonition-linux-system-call-setup"></span><p>System libraries (e.g. libc) offers functions that implement the
 actual system calls in order to make it easier for applications to use
 them.</p>
-<p>When a user to kernel mode transitions occurs the execution flow is
+<p>When a user to kernel mode transition occurs, the execution flow is
 interrupted and it is transfered to a kernel entry point. This is
 similar with how interrupts and exception are handled (in fact on some
 architectures this transition happens as a result of an exception).</p>