search for: shype

Lets not confuse the issues here and don''t turn this into a programming language argument. With the sHype patches there is a well defined language for specifying policies and there is a well defined binary representation for that policy. That is a very good start! I see the java tool as a *sample* implementation of a translator between the two. You are free to write/use your own compiler in a language...

Hi, as a follow-up to the posting of the sHype patches for Xen from Tue/We this week [http://lists.xensource.com/archives/html/xen-devel/2005-03/msg01371.html], you''ll find attached the promised draft Readme for the courageous ones to get a little exposure to sHype at a small example. I am posting this right before being away-fr...

It seems to me that Xen is full of stuff that aren''t beneficial for everybody, this includes NUMA, ACM and other stuff that certain companies try to introduce... In a better world, the Xen binary would have been more sleek and fast, and those extra features should be loaded via stating a Module boot line in Grub. This way, testing would be easy and it''s more elegant than using a

Hi, I have compiled xen-unstable (using hg clone http://xenbits.xensource.com/xen-unstable.hg). I have successfully booted into the dom0 kernel. output of xm list: Name ID Mem VCPUs State Time(s) Domain-0 0 932 1 r----- 591.2 But whenever I xm create, I get: # xm create /etc/xen/domu1 Using config file

Hi all, I want to build sHype into Xen on ubuntu 8.04, In Config.mk I changed XSM_ENABLE ?= n to XSM_ENABLE ?= y ACM_SECURITY ?= n to ACM_SECURITY ?= y; then #make xen tools #make install-xen install-tools without any error; but when I reboot and type...

This patch: * adds a C-based security policy translation tool to Xen (secpol_xml2bin) and removes the current Java security policy translator (Java dependencies). The C-based tool integrates into the Xen source tree build and install (using gnome libxml2 for XML parsing). See install.txt. * introduces security labels and related tools. Users can now use semantic-rich label names to put

A character device for accessing (in user-space) pages that have been granted by other domains. Signed-off-by: Derek Murray <Derek.Murray@cl.cam.ac.uk> _______________________________________________ Xen-devel mailing list Xen-devel@lists.xensource.com http://lists.xensource.com/xen-devel