Merge pull request #243 from junmin-kim/kernel_sched
authorsunghan-chang <sh924.chang@samsung.com>
Thu, 29 Jun 2017 09:21:27 +0000 (18:21 +0900)
committerGitHub <noreply@github.com>
Thu, 29 Jun 2017 09:21:27 +0000 (18:21 +0900)
Replace g_readytorun.head with this_task()


Trivial merge