Google Git
Sign in
akaros/upstream/23691628b8ed6c9de6454c5503ad31410042cdb8
commit
23691628b8ed6c9de6454c5503ad31410042cdb8
[log] [tgz]
author
Barret Rhoden <brho@cs.berkeley.edu>
Mon Apr 06 14:51:56 2015 -0400
committer
Barret Rhoden <brho@cs.berkeley.edu>
Tue Apr 07 15:07:00 2015 -0400
tree
00ae2c9aff127dc48b6951f0bf54d81e66bd0dc0
parent
1e1023344a68609dd0b3aca7f0705d3e14a8a8f2 [diff]
Removes mon_setmapperm

Unused, and just cluttering up my git grep.
2 files changed
tree: 00ae2c9aff127dc48b6951f0bf54d81e66bd0dc0
  1. Documentation/
  2. kern/
  3. scripts/
  4. tests/
  5. tools/
  6. user/
  7. arch ⇨ kern/arch/
  8. include ⇨ kern/include/
  9. .gitignore
  10. config-default
  11. GETTING_STARTED
  12. Kconfig
  13. LICENSE
  14. LICENSE-PLAN9
  15. Makefile
  16. Makelocal.template