adding registry service to os boot example