On Thu, Dec 1, 2016 at 10:22 AM, Tim Newsham <tim.news...@gmail.com> wrote:
> """Briefly, I do not think the seL4 software stack has yet been built to > the heights you require to run the programs you wish, not without > Herculean effort from you.""" > > one option is to use the genode project, > >> >> ..... > >> Briefly, I do not think the seL4 software stack has yet been built to >> the heights you require to run the programs you wish, not without >> Herculean effort from you. >> >> Long answer: >> >> As far as I can tell, seL4 is still very much a research operating >> system, > > The critical questions involve the mining effort you wish to achieve. Without access to the GPU or multiple GPUs mining will be slow. The success of Linux is that it is the union of many large projects. Kernel and GNU .... editors, compilers, filesystem, networking, device drivers, display, window system... So look to see if your mining hardware has any support and a way to multi boot. Then begin working in a spare disk or partition and perhaps a virtual machine. On real problem is checkpoint and restart. Checkpoint and restart are difficult and add serious security state management issues. Mining is a long term activity... Heavy lifting is a good description but I know some heavy lifters so have fun and explore it. -- T o m M i t c h e l l
_______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel
