Can you talk about the machines in the lab. I’m in WL and have seen in Greyhouse and in Lawson people battling with XINU enough that I’ve gone over to see what they’re doing.

I’m curious about the machines used to run the code in, their boot processe, or anything you can talk about.

What would you like to know? I did help set up a few things there. There's a special netboot-like version of Xinu deployed on the backend systems which are just Beagle/Galileo/whatever's been upgraded, and they deploy whatever Xinu image you've supplied. Students typically compile locally and submit the xbin (compiled kernel image) to a backend.