priority donation, but no priority scheduling. :) also need to remove kruft from alarm