remove kernel; switch to muppets for props