p112: Move device_init() to DISCARD segment
authorWill Sowerbutts <will@sowerbutts.com>
Fri, 24 Apr 2015 18:59:22 +0000 (19:59 +0100)
committerWill Sowerbutts <will@sowerbutts.com>
Fri, 24 Apr 2015 19:50:31 +0000 (20:50 +0100)
commitbad47f894d30f53b21615bca40d2fb644eb2defd
tree26569924eb14cdeb94c5e3f431d4649186293485
parentf0ff5283ebc0b7b4c51b37b3a91a1ec234a60e02
p112: Move device_init() to DISCARD segment
Kernel/platform-p112/devices.c
Kernel/platform-p112/discard.c