diff --git a/README.md b/README.md
index 7ba6c717e..86b833d19 100644
--- a/README.md
+++ b/README.md
@@ -138,3 +138,4 @@ For network support, you have to link the Go application with the flag `-lnetgo`
    With the environment variable `HERMIT_APP_PORT`, an additional port can be open to establish an TCP/IP connection with your application.
 3. By setting the environment variable `HERMIT_VERBOSE` to `1`, the proxy prints at termination the kernel log messages onto the screen.
 4. If `HERMIT_DEBUG` is set to `1`, Qemu will establish an gdbserver, which will be listen port 1234.
+   Afterwards you are able debug HermitCore applications remotely.
diff --git a/hermit/include/hermit/config.h b/hermit/include/hermit/config.h
index aa7cdea1b..676325417 100644
--- a/hermit/include/hermit/config.h
+++ b/hermit/include/hermit/config.h
@@ -41,7 +41,7 @@ extern "C" {
 #define VIDEO_MEM_ADDR		0xB8000 /* the video memory address */
 #define CACHE_LINE		64
 #define KERNEL_STACK_SIZE	(8*1024)
-#define DEFAULT_STACK_SIZE	(64*1024)
+#define DEFAULT_STACK_SIZE	(256*1024)
 #define KMSG_SIZE		(4*1024)
 #define INT_SYSCALL		0x80
 #define MAILBOX_SIZE		128
diff --git a/hermit/kernel/main.c b/hermit/kernel/main.c
index 279d83a2c..f680398c3 100644
--- a/hermit/kernel/main.c
+++ b/hermit/kernel/main.c
@@ -570,7 +570,7 @@ int hermit_main(void)
 	LOG_INFO("This is Hermit %s, build date %u\n", VERSION, &__DATE__);
 	LOG_INFO("Isle %d of %d possible isles\n", isle, possible_isles);
 	LOG_INFO("Kernel starts at %p and ends at %p\n", &kernel_start, &kernel_end);
-	LOG_INFO("TLS image starts at %p and ends at %p\n", &tls_start, &tls_end);
+	LOG_INFO("TLS image starts at %p and ends at %p (size 0x%zx)\n", &tls_start, &tls_end, ((size_t) &tls_end) - ((size_t) &tls_start));
 	LOG_INFO("BBS starts at %p and ends at %p\n", &hbss_start, &kernel_end);
 	LOG_INFO("Per core data starts at %p and ends at %p\n", &percore_start, &percore_end);
 	LOG_INFO("Per core size 0x%zx\n", (size_t) &percore_end0 - (size_t) &percore_start);