lpcmanager

LPCArch
revamp
2018-02-05, Edouard Tisserant
4c317d315093
LPCArch
rt_dev_close(rightbusfd);