Mirrors/libhermit
1
0
Fork 0
mirror of https://github.com/hermitcore/libhermit.git synced 2025-03-09 00:00:03 +01:00
Code Issues Releases Wiki Activity

remove some typos

Browse source
This commit is contained in:
Stefan Lankes 2015-07-11 00:21:06 +02:00
parent 2e84ef7dc7
commit eb5bee0ea9
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
hermit/include/hermit/tasks.h
View file

@ -196,7 +196,7 @@ void NORETURN abort(void);
/** @brief This function shall be called by leaving kernel-level tasks */
void NORETURN leave_kernel_task(void);
/** @brief if a task exists with higher priority, MetalSVM switch to it.
/** @brief if a task exists with higher priority, HermitCore switch to it.
* */
void check_scheduling(void);