Index: uspace/lib/libc/include/loader/loader.h
===================================================================
--- uspace/lib/libc/include/loader/loader.h	(revision c62d2e1bc753f6a56d1a41e68ba3a7f1d549d70d)
+++ uspace/lib/libc/include/loader/loader.h	(revision 7d31f7ccc521dc4f0fc2b66a9f9788656377698d)
@@ -51,5 +51,5 @@
 extern int loader_set_cwd(loader_t *);
 extern int loader_set_pathname(loader_t *, const char *);
-extern int loader_set_args(loader_t *, char *const[]);
+extern int loader_set_args(loader_t *, const char *const[]);
 extern int loader_set_files(loader_t *, fdi_node_t *const[]);
 extern int loader_load_program(loader_t *);
Index: uspace/lib/libc/include/sysinfo.h
===================================================================
--- uspace/lib/libc/include/sysinfo.h	(revision c62d2e1bc753f6a56d1a41e68ba3a7f1d549d70d)
+++ uspace/lib/libc/include/sysinfo.h	(revision 7d31f7ccc521dc4f0fc2b66a9f9788656377698d)
@@ -40,5 +40,5 @@
 #include <string.h>
 
-sysarg_t sysinfo_value(char *name);
+sysarg_t sysinfo_value(const char *name);
 
 #endif
Index: uspace/lib/libc/include/task.h
===================================================================
--- uspace/lib/libc/include/task.h	(revision c62d2e1bc753f6a56d1a41e68ba3a7f1d549d70d)
+++ uspace/lib/libc/include/task.h	(revision 7d31f7ccc521dc4f0fc2b66a9f9788656377698d)
@@ -47,5 +47,5 @@
 extern task_id_t task_get_id(void);
 extern int task_set_name(const char *name);
-extern task_id_t task_spawn(const char *path, char *const argv[]);
+extern task_id_t task_spawn(const char *path, const char *const argv[]);
 extern int task_wait(task_id_t id, task_exit_t *texit, int *retval);
 extern int task_retval(int val);
Index: uspace/lib/libc/include/thread.h
===================================================================
--- uspace/lib/libc/include/thread.h	(revision c62d2e1bc753f6a56d1a41e68ba3a7f1d549d70d)
+++ uspace/lib/libc/include/thread.h	(revision 7d31f7ccc521dc4f0fc2b66a9f9788656377698d)
@@ -45,5 +45,5 @@
 extern void __thread_main(uspace_arg_t *);
 
-extern int thread_create(void (*)(void *), void *, char *, thread_id_t *);
+extern int thread_create(void (*)(void *), void *, const char *, thread_id_t *);
 extern void thread_exit(int) __attribute__ ((noreturn));
 extern void thread_detach(thread_id_t);