diff options
Diffstat (limited to 'ports/ARM7')
| -rw-r--r-- | ports/ARM7/chcore.c | 4 | ||||
| -rw-r--r-- | ports/ARM7/port.dox | 5 |
2 files changed, 7 insertions, 2 deletions
diff --git a/ports/ARM7/chcore.c b/ports/ARM7/chcore.c index d7d51c85b..9ffe94ac5 100644 --- a/ports/ARM7/chcore.c +++ b/ports/ARM7/chcore.c @@ -28,14 +28,18 @@ * Prints a message on the system console. * @param msg pointer to the message */
+/** @cond never */
__attribute__((weak))
+/** @endcond */
void port_puts(char *msg) {
}
/**
* Halts the system. */
+/** @cond never */
__attribute__((weak))
+/** @endcond */
void port_halt(void) {
port_disable();
diff --git a/ports/ARM7/port.dox b/ports/ARM7/port.dox index cf3532f96..9a9f319a6 100644 --- a/ports/ARM7/port.dox +++ b/ports/ARM7/port.dox @@ -105,7 +105,7 @@ /** @} */
/**
- * @defgroup ARM7CONF Configuration Options
+ * @defgroup ARM7_CONF Configuration Options
* @{
* @brief ARM7 specific configuration options.
* @details The ARM7 port allows some architecture-specific configurations
@@ -133,7 +133,8 @@ * @brief ARM7 specific port code, structures and macros.
*
* @ingroup ARM7
- * @file ports/ARM7/chcore.h Port related structures and macros.
* @file ports/ARM7/chtypes.h Port types.
+ * @file ports/ARM7/chcore.h Port related structures and macros.
+ * @file ports/ARM7/chcore.c Port related code.
*/
/** @} */
|