From 31fb451f5575acd9bd1b7ac6e4cf0648f9dbeadb Mon Sep 17 00:00:00 2001 From: Stefan Lankes Date: Sun, 24 Sep 2017 09:07:29 +0200 Subject: [PATCH] remove typos --- README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index d48a3e80f..95c4deddd 100644 --- a/README.md +++ b/README.md @@ -3,7 +3,7 @@ # HermitCore - A lightweight unikernel for a scalable and predictable runtime behavior -[![Build Status](https://travis-ci.org/RWTH-OS/HermitCore.svg?branch=master)](https://travis-ci.org/RWTH-OS/HermitCore) +[![Build Status](https://travis-ci.org/RWTH-OS/HermitCore.svg?branch=devel)](https://travis-ci.org/RWTH-OS/HermitCore) [![Slack Status](https://radiant-ridge-95061.herokuapp.com/badge.svg)](https://radiant-ridge-95061.herokuapp.com) The project [HermitCore]( http://www.hermitcore.org ) is a new @@ -403,7 +403,7 @@ you are able to analyze the file. If `HERMIT_MONITOR` is set to `1` and `HERMIT_ISLE` to `qemu`, QEMU establishes a monitor which is available via telnet at port 18767. With the environment variable `HERMIT_PORT`, the default port (18766) can be changed for the communication between the HermitCore application and its proxy. -The connection to the system monitor used automatically `HERMIT_PORT+1`, i.e., the default port is 18767. +The connection to the system monitor is automatically set to `HERMIT_PORT+1`, i.e., the default port is 18767. ## Credits