Hello Sergey, I have a question: do you know if the gnumach.elf file produced by make contains the DTB file ? I don't know if my question makes sense.
I am debugging the kernel and since I have don't have a DTB file, the function void psci_init(dtb_node_t node) always fails on the assertion assert(psci_method != PSCI_METHOD_NONE); Do you know why ? I googled a little and this is the only source I could find [0] But I don't know if I have to have this DTB file or not. Cheers, Gianluca [0]: https://www.devicetree.org/specifications/
