Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add policy for gcl and the gcl-generated binary for maxima #23

Open
wants to merge 1 commit into
base: rawhide
Choose a base branch
from

Conversation

jamesjer
Copy link

This just moves the existing policy files for gcl from gcl itself into the system selinux policy. I am by no means any kind of expert on writing selinux policy, so will gladly accept improvements or fixes. The hope is that not needing to build and install policy at gcl install time will fix https://bugzilla.redhat.com/show_bug.cgi?id=1435395.

@jamesjer
Copy link
Author

jamesjer commented Sep 5, 2017

It's been over a month since I made this request, with no comments. What needs to be done to get some movement on this? Thank you.

allow gcl_t self:process { execmem execheap };

optional_policy(`
unconfined_domain(gcl_t)
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

You're trying to confine gcl processes but using this interface you make gcl unconfined. Is there any reason for this?

role unconfined_r;
')

gcl_run(unconfined_t, unconfined_r, { unconfined_tty_device_t unconfined_devpts_t })
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This should be part of unconfined SELinux module in fedora-selinux/selinux-policy repo.

')

optional_policy(`
gen_require(`
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This require is not needed if you move gcl_run(...) into unconfined SELinux module.

@wrabcak
Copy link
Member

wrabcak commented Sep 2, 2018

Any update here?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants