Re: [seL4] AM335X (BeagleBone) support?

...

...

...

...

"Tim" == Tim Newsham writes:

Tim> What is the state of "AM335X (BeagleBone)" support in the main Tim> and experimental branches? The kernel will build for it (both branches), and we have a few (non-released) hacks to try the kernel, but libplatsupport hasn't been finished, so none of the testsuite works yet. So: unsupported at the moment. Peter C -- Dr Peter Chubb peter.chubb AT nicta.com.au http://www.ssrg.nicta.com.au Software Systems Research Group/NICTA