From a9dbc2a81d0ec265f087a7a7fa034645dcdc8102 Mon Sep 17 00:00:00 2001 From: Chia-Che Tsai Date: Fri, 8 Dec 2017 15:41:53 -0500 Subject: [PATCH] update README about submodules and clarify about custom kernel usage --- README | 20 +++++++++++++++----- 1 file changed, 15 insertions(+), 5 deletions(-) diff --git a/README b/README index a5a743db..c191b1ab 100644 --- a/README +++ b/README @@ -60,7 +60,22 @@ be installed with 'apt-get install'): To build the system, simply run the following commands in the root of the source tree: + git submodule update --init make + +Each part of Graphene can be built separately in the subdirectories. + +To build Graphene library OS with debug symbols, run "make DEBUG=1" instead of +"make". + +To enable sandboxing, a customized Linux kernel is needed. Note that +this feature is optional and completely unnecessary for running on SGX. +To build the Graphene Linux kernel, do the following steps: + + cd Pal/linux-3.19 + make menuconfig + make + make install (Add Graphene kernel as a boot option by commands like "update-grub") (reboot and choose the Graphene kernel) @@ -73,11 +88,6 @@ in the configuration: - CONFIG_GRAPHENE_BULK_IPC=y - CONFIG_GRAPHENE_ISOLATE=y -Each part of Graphene can be built separately in the subdirectories. - -To build Graphene library OS with debug symbols, run "make DEBUG=1" instead of -"make". - For more details about the building and installation, see the Graphene github Wiki page: .