One os level thing that is interesting to me is if it would be possible/wise to make an OS based on (concurrent) garbage collection.