update

[l4.git] / l4 / pkg / examples / sys / vcpu / vcpu.cc

diff --git a/l4/pkg/examples/sys/vcpu/vcpu.cc b/l4/pkg/examples/sys/vcpu/vcpu.cc
index 45db486353496d7f8051f5f2a9921fff550cfa67..c6ed0598648a9cfeff0a4089f1717feb2ffc42a4 100644 (file)
--- a/l4/pkg/examples/sys/vcpu/vcpu.cc
+++ b/l4/pkg/examples/sys/vcpu/vcpu.cc
@@ -245,7 +245,7 @@ static void vcpu_thread(void)
     ;
 }
 
-int run(void)
+static int run(void)
 {
   l4_utcb_t *u = l4_utcb();
   L4::Cap<L4::Thread> vcpu_cap;
@@ -341,12 +341,12 @@ int main()
   try { return run(); }
   catch (L4::Runtime_error &e)
     {
-      L4::cerr << "FATAL uncought exception: " << e
+      L4::cerr << "FATAL uncaught exception: " << e
                << "\nterminating...\n";
     }
   catch (...)
     {
-      L4::cerr << "FATAL uncought exception of unknown type\n"
+      L4::cerr << "FATAL uncaught exception of unknown type\n"
                << "terminating...\n";
     }
   return 1;