[kernel] sync with external source. support for dynamic timer
Change-Id: I87d3c87a7a046413975108f93be63fa5a5999636
diff --git a/kernel/mutex.c b/kernel/mutex.c
index 4998b6a..1f7015d 100644
--- a/kernel/mutex.c
+++ b/kernel/mutex.c
@@ -1,5 +1,5 @@
/*
- * Copyright (c) 2008 Travis Geiselbrecht
+ * Copyright (c) 2008-2009 Travis Geiselbrecht
*
* Permission is hereby granted, free of charge, to any person obtaining
* a copy of this software and associated documentation files
@@ -49,9 +49,9 @@
ASSERT(m->magic == MUTEX_MAGIC);
#endif
- if (m->holder != 0 && current_thread != m->holder)
- panic("mutex_destroy: thread %p (%s) tried to release mutex %p it doesn't own. owned by %p (%s)\n",
- current_thread, current_thread->name, m, m->holder, m->holder ? m->holder->name : "none");
+// if (m->holder != 0 && current_thread != m->holder)
+// panic("mutex_destroy: thread %p (%s) tried to release mutex %p it doesn't own. owned by %p (%s)\n",
+// current_thread, current_thread->name, m, m->holder, m->holder ? m->holder->name : "none");
m->magic = 0;
m->count = 0;