all resources I can find to study OS design