z3cko

Is there some update in the meanwhile?

Hey baldhead69, i am working on a port currently. Please get in contact with me via github if you want to join forces.

Please contact me at [email protected] - i seem to not be able to write you via github

Any update on this?

I am just wondering (since i am super interested in this topic myself) - has something ever been sent to the mailing list? what is the status of TEE with...

Please also include [homebrew](https://federicoterzi.com/blog/how-to-publish-your-rust-project-on-homebrew/) (Mac OS). It is very easy to implement, and you can find details in the link i provided.

I wanted to bump your question, since nobody has been answering you (and I am asking myself the same question) -- did you ever come around solving this for yourself?

Your question is very valid, even in 2023. I would say the main problem is that the owner of the "original" k210-hal crate is Vadim Kaushan (at least according to...

@hzcx998 do you have experience with rustsbi and k210? Do you mind sharing?

@hzcx998 can you explain more in depth? Do you have any examples or details? I understand that rustsbi helps in running MMU linux (can you confirm?)