Browse Source

Fix a few typos in code comments, debug info, and README

Michał Kowalczyk 5 years ago
parent
commit
456f03aad8
3 changed files with 5 additions and 5 deletions
  1. 1 1
      Pal/src/host/Linux-SGX/db_main.c
  2. 1 1
      Pal/src/host/Linux-SGX/enclave_entry.S
  3. 3 3
      README.md

+ 1 - 1
Pal/src/host/Linux-SGX/db_main.c

@@ -304,7 +304,7 @@ void pal_linux_main(char * uptr_args, uint64_t args_size,
     /* initialize enclave properties */
     rv = init_enclave();
     if (rv) {
-        SGX_DBG(DBG_E, "Failed to initalize enclave properties: %d\n", rv);
+        SGX_DBG(DBG_E, "Failed to initialize enclave properties: %d\n", rv);
         ocall_exit(rv);
     }
 

+ 1 - 1
Pal/src/host/Linux-SGX/enclave_entry.S

@@ -611,6 +611,6 @@ _restore_sgx_context:
 	# Now pop %rip and fix stack pointer in one operation (to avoid
 	# problems with nesting, see comment above). SGX_CONTEXT_RIP is
 	# directly after SGX_CONTEXT_RFLAGS, see sgx_arch.h. Note that retq
-	# decreases %rsp by 8 for the poped %rip additionaly to the passed
+	# decreases %rsp by 8 for the popped %rip additionally to the passed
 	# offset.
 	retq $(SGX_CONTEXT_SIZE + RED_ZONE_SIZE - SGX_CONTEXT_RIP - 8)

+ 3 - 3
README.md

@@ -42,7 +42,7 @@ Graphene Library OS currently only works on x86_64 architecture.
 
 Graphene Library OS is tested to be compiling and running on Ubuntu 14.04/16.04
 (both server and desktop version), along with Linux kernel 3.5/3.14/4.4.
-We recommand to build and install Graphene with the same host platform.
+We recommend to build and install Graphene with the same host platform.
 Other distributions of 64-bit Linux can potentially, but the result is not
 guaranteed. If you find Graphene not working on other distributions, please
 contact us with a detailed bug report.
@@ -131,7 +131,7 @@ from the official Intel github repositories:
    - <https://github.com/01org/linux-sgx>
    - <https://github.com/01org/linux-sgx-driver>
 
-A Linux driver must be installed before runing Graphene Library OS in enclaves.
+A Linux driver must be installed before running Graphene Library OS in enclaves.
 Simply run the following command to build the driver:
 
 __** Please make sure the GCC version is either 4 or 5 **__
@@ -208,7 +208,7 @@ specifying the programs and manifest files:
     (Manifest must have "#![PATH_TO_PAL]/libpal.so" as the first line)
 
 Using "libpal.so" as loader to start Graphene will not attach the applications
-to the Graphene reference monitor. Tha applications will have better
+to the Graphene reference monitor. The applications will have better
 performance, but no strong security isolation. To attach the applications to
 the Graphene reference monitor, Graphene must be started with the PAL
 reference monitor loader (libpal_sec.so). Graphene provides three options for