In this paper, we study an active user detection problem for massive machine type communications (mMTC). The users transmit pilot-hopping sequences and detection of active users is performed based on the received energy. We utilize the channel hardening and favorable propagation properties of massive multiple- input multipleoutput (MIMO) to simplify the user detection. We propose and compare a number of different user detection methods and find that using non- negative least squares (NNLS) is well suited for the task at hand as it achieves good results as well as having the benefit of not having to specify further parameters.