Rename fletch -> dartino

src/shared/platform_lk.cc

 // Copyright (c) 2015, the Dartino project authors. Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE.md file.
 
-#if defined(FLETCH_TARGET_OS_LK)
+#if defined(DARTINO_TARGET_OS_LK)
 
 // We do not include platform_posix.h on purpose. That file
 // should never be directly inported. platform.h is always
 // the platform header to include.
 #include "src/shared/platform.h"  // NOLINT
 
 #include <platform.h>
 
 #include <err.h>
 #include <kernel/thread.h>
 #include <kernel/semaphore.h>
 #include <sys/types.h>
 
 #include <stdlib.h>
 #include <stdio.h>
 
-namespace fletch {
+namespace dartino {
 
 void GetPathOfExecutable(char* path, size_t path_length) {
   // We are built into the kernel ...
   path[0] = '\0';
 }
 
 static uint64 time_launch;
 
 void Platform::Setup() { time_launch = GetMicroseconds(); }
 
@@ skipping 163 matching lines @@
 int Platform::FormatString(char* buffer, size_t length, const char* format,
                            ...) {
   UNIMPLEMENTED();
   return 0;
 }
 
 char* Platform::GetEnv(const char* name) { return NULL; }
 
 int Platform::MaxStackSizeInWords() { return 16 * KB; }
 
-}  // namespace fletch
+}  // namespace dartino
 
-#endif  // defined(FLETCH_TARGET_OS_LK)
+#endif  // defined(DARTINO_TARGET_OS_LK)