I agree that verifying code and security are important issues, especially because managed code opens up a lot of possibilities in these areas. But I don't see this as an elementary part of the kernel. My opinion is this could be an optional module that verifies code statically before it gets loaded / executed. It doesn't have to be tightly integrated with the kernel. There could be some security interface that a "security driver" can implement and the kernel then asks the security drivers if some operation is allowed. This gives more flexibility so we can have very thorough security with a performance overhead or a less strict security with less static checks of the code.
It could of course be that I am missing something important here why verification and security should be more tightly coupled with the kernel... Insite Mees-Delbeke VOF Zomerstraat 29A 9270 Laarne Telefoon: 09 367 96 34 GSM: 0478 44 96 04 E-mail: [EMAIL PROTECTED] Site: http://www.insitehosting.be -----Original Message----- From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] On Behalf Of Chad Z. Hower aka Kudzu Sent: dinsdag 28 augustus 2007 23:15 To: sharpos-developers@lists.sourceforge.net Subject: Re: [SharpOS Developers] SharpOS vs Singularity > Well, I've read Scott's design paper. And it has most of the elements > that I would want in a managed operating system. Here are some of the > key features I would love to see (just from the top of my head): Well thought out. Im in full agreement, but I also have some big thoughts on verifying code and security. ------------------------------------------------------------------------ - This SF.net email is sponsored by: Splunk Inc. Still grepping through log files to find problems? Stop. Now Search log events and configuration files using AJAX and a browser. Download your FREE copy of Splunk now >> http://get.splunk.com/ _______________________________________________ SharpOS-Developers mailing list SharpOS-Developers@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/sharpos-developers ------------------------------------------------------------------------- This SF.net email is sponsored by: Splunk Inc. Still grepping through log files to find problems? Stop. Now Search log events and configuration files using AJAX and a browser. Download your FREE copy of Splunk now >> http://get.splunk.com/ _______________________________________________ SharpOS-Developers mailing list SharpOS-Developers@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/sharpos-developers
