Hi all,
I recently acquired a BD-SL-I.MX6 and will be tinkering with it to install
seL4. A major use case for me is if I could run
[bitcoind](https://en.bitcoin.it/wiki/Bitcoind) or at least
[vanitygen](https://en.bitcoin.it/wiki/Vanitygen) on seL4. I'm very new to the
system, but is there a relatively easy way of cross-compiling said software for
seL4? Would love to spend some time learning.
Cheers,
Carl Dong
[email protected]
_______________________________________________
Devel mailing list
[email protected]
https://sel4.systems/lists/listinfo/devel
