First full implementation of post-RA scheduler for Patmos.