devproc: add user file to /proc/$PID
authorFergus Simpson <afergs@google.com>
Thu, 5 Jan 2017 17:53:43 +0000 (09:53 -0800)
committerBarret Rhoden <brho@cs.berkeley.edu>
Wed, 18 Jan 2017 18:27:54 +0000 (13:27 -0500)
commita4039375d286b21b06f4cec6688a9be32ac642a6
treefb25dfc03c7c11fa23ae27465795ac4e95058e00
parentfa2e7c6ddf32852f9929e4b99c08e38ba56c3f39
devproc: add user file to /proc/$PID

The owner of a process is indicated by the owner of the directory for
the process in /proc, but Akaros's bash can't read directory owners
correctly.

This adds a read-only "user" file to /proc/$PID so one can just cat for
the owner of a process.

Change-Id: I86ecfabaed2da983f33298d8a47b966862b1a369
Signed-off-by: Fergus Simpson <afergs@google.com>
Signed-off-by: Barret Rhoden <brho@cs.berkeley.edu>
kern/drivers/dev/proc.c