@@ -135,11 +135,11 @@ __attribute__((noinline)) void pongo_entry_cached(void)
135135 // Literally everything depends on this
136136 dt_init ((void * )((uint64_t )gBootArgs -> deviceTreeP - gBootArgs -> virtBase + gBootArgs -> physBase - 0x800000000 + kCacheableView ), gBootArgs -> deviceTreeLength );
137137
138- gIOBase = dt_get_u64_prop_i ( " arm-io" , "ranges" , 1 );
138+ gIOBase = dt_get_u64 ( "/ arm-io" , "ranges" , 1 );
139139
140140 map_full_ram (gBootArgs -> physBase & 0x7ffffffff , gBootArgs -> memSize );
141141
142- gDevType = dt_get_prop ("arm-io" , "device_type" , NULL );
142+ gDevType = dt_get_prop ("/ arm-io" , "device_type" , NULL );
143143 size_t len = strlen (gDevType ) - 3 ;
144144 len = len < 8 ? len : 8 ;
145145 strncpy (soc_name , gDevType , len );
@@ -153,7 +153,7 @@ __attribute__((noinline)) void pongo_entry_cached(void)
153153 else if (strcmp (soc_name , "t8015" ) == 0 ) socnum = 0x8015 ;
154154 else if (strcmp (soc_name , "s8000" ) == 0 )
155155 {
156- const char * sgx = dt_get_prop ("sgx" , "compatible" , NULL );
156+ const char * sgx = dt_get_prop ("/arm-io/ sgx" , "compatible" , NULL );
157157 if (strlen (sgx ) > 4 && strcmp (sgx + 4 , "s8003" ) == 0 )
158158 {
159159 socnum = 0x8003 ;
0 commit comments