A Pipelined Multi-Core Machine with Operating System Support