In this talk I will describe an exact algorithm for testing the feasibility of a system of sporadic real-time tasks on a set of identical processors. This solves an open problem in the area of multiprocessor real-time scheduling [S.K. Baruah and K. Pruhs, Journal of Scheduling, 2009]. The algorithm relies on a characterization of feasibility as the outcome of a two-player game of infinite duration and imperfect information, played on a finite graph.