call devtty_init() at startup
authorBrett Gordon <beretta42@gmail.com>
Wed, 16 Sep 2015 14:21:38 +0000 (10:21 -0400)
committerBrett Gordon <beretta42@gmail.com>
Fri, 18 Sep 2015 16:52:07 +0000 (12:52 -0400)
commit365bc22f04e99fadd5cebca32c30ddf8440cf11b
tree8170611dbe32a45622ea26bdfedb7afe01cbcd5e
parent34cc76a76456bf7fa59e6127c853e1397c417bef
call devtty_init() at startup
Kernel/platform-coco3/coco3.s