3 Commits

Include renames

Author	SHA1	Message	Date
kaf24@firebug.cl.cam.ac.uk	e39ba51523	- allows to optionally boot the system with a policy already being ... active at startup; this works by adding a module line into the grub configuration file and placing the binary policy generated by the policy tool into the boot directory; This assumes that a maximum of one module line is used for the initrd in the grub configuration file - Question: do users pass more than one module to the kernel? - enables the policy hypervisor call on x86/64 - some function prototypes moved to include files - moves the version number in the java tool up to the current version (a better way of doing this will be submitted soon) Signed-off-by: Stefan Berger <stefanb@us.ibm.com> Signed-off-by: Reiner Sailer <sailer@us.ibm.com>	2005-07-25 21:19:14 +00:00
kaf24@firebug.cl.cam.ac.uk	8cc2fa8544	bitkeeper revision 1.1759 (42c035d96-RzgfZ63O07ihY0xpew2g) ... This patch adapts the Java Policy Processor to the default ssid change of 0xfffffff... to 0. Signed-off by Ray Valdez <rvaldez@us.ibm.com>	2005-06-27 17:22:33 +00:00
smh22@firebug.cl.cam.ac.uk	f21629e0cc	bitkeeper revision 1.1718.1.9 (42b7443fk-ybxUDza1p_kN1D8hzjRw) ... Many files: new file	2005-06-20 22:33:35 +00:00