dopefish Still Fresh Joined Nov 26, 2007 Messages 25 Jul 30, 2014 #1 Now open source and supporting ARM and x86 architectures. Now THIS would be fun to play with on the DragonBox Pyra... http://sel4.systems/
Now open source and supporting ARM and x86 architectures. Now THIS would be fun to play with on the DragonBox Pyra... http://sel4.systems/
TrashyMG Sarcasm Dispenser Staff member Joined Jan 18, 2010 Messages 11,423 Jul 30, 2014 #2 And I thought General Dynamics only dealt with weapons of mass destruction...
Hồng Thất Công Đả Cẩu Bổng Pháp Joined Dec 19, 2012 Messages 4,386 Location Cái Bang Jul 31, 2014 #3 Yeah, would be cool to get this running on Pyra as well
dopefish Still Fresh Joined Nov 26, 2007 Messages 25 Jul 31, 2014 #4 I've always had a fascination with microkernels.