what software is developed by xv6 and is licensed by doctrine ?
SELECT DISTINCT var_uri where brack_open dbr_Doctrine_ attr_open PHP attr_close dbo_license var_uri sep_dot dbr_Xv6 dbo_developer var_uri brack_close