coco3: move devtty_init() to .discard section, clean up whitespace.
authorBrett Gordon <beretta42@gmail.com>
Sun, 6 Mar 2016 18:53:41 +0000 (13:53 -0500)
committerBrett Gordon <beretta42@gmail.com>
Sun, 6 Mar 2016 18:53:41 +0000 (13:53 -0500)
commite42d98b46e417686f3728713d3f47800aa77f73c
treef51986ab7196f034263ca961c3ef23974172af20
parentbaab766e392c7b48b20b80afedcc6af849974d61
coco3: move devtty_init() to .discard section, clean up whitespace.
Kernel/platform-coco3/devtty.c