-
Notifications
You must be signed in to change notification settings - Fork 175
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Which xml file should I use? #222
Comments
I have just submitted pull requests for the RockPi4, perhaps it can help? |
Can RockPi4 support RockChip? I can't find the mk file in the master branch of the build project. I'm at a loss and don't know what to do. Please give me some advice. Thank you! |
Rockpi4 boards have a rk3399 SoC. The mk file will be in the master branch soon. Review is in progress. |
Excuse me, is the review OK? I would like to try. |
Yes. First make sure you install the prerequisites listed at https://optee.readthedocs.io/en/latest/building/prerequisites.html plus
|
I tried compiling on the x86 machine. It seems that the out and out br directories are generated normally, and rockpi4.img is output under the out directory. Then I executed the "make flash" command and got the following prompt: Does this mean that I can connect the rk3399 development board and start burning? |
I understand that your board is not a Rockpi 4 but a different rk3399 board, so it might not work, but you may try. With a bit of luck the loader will be able to flash the onboard eMMC and with even more luck it will boot properly. Does your board have a microSD card slot? Write the |
OK, I think I can try. Thank you for your support! |
? |
Something weird going on at your end, just to be sure I just tried
That is probably just because you're running the |
@jbech-linaro @jforissier @FIREWOODCUT @wamserma Unfortunately, When I try to build the stable version 3.19.0 for Rock Pi 4B by adding the option
|
rockpi4.xml has been added after the 3.19.0 release. Use the current head or wait for 3.20.0 top bei tagged. |
OP-TEE build successfully but boot failed.
|
I am using a serial console. Are you using the HDMI output? I don't know if it works. |
I'm migrating optee to the rk3399 development board. I don't know which xml to download the warehouse code from. How should I do? At present, I have only completed the process of emulating optee on the QEMU platform, and I don't know how to compile it on the real machine.
The text was updated successfully, but these errors were encountered: