I\'m trying to follow https://community.arm.com/developer/tools-software/oss-platforms/w/docs/457/n1sdp-getting-started-guide to build firmwares and linux kernel for arm\'s
