ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-26 08:51:08 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
955 Commits 2 Branches 70 Tags 87 MiB
9946f2b42f
Commit Graph

3 Commits

Author SHA1 Message Date
Stefan Kalkowski
1e87ef627b Fiasco.OC: update to recent version (svn rev. 40) 2012-09-18 10:53:16 +02:00
Stefan Kalkowski
c3145c1a5d Fiasco.OC: fix l4_caps_equal kernel patch 
A kernel capability that is invalid has no kobject pointer, so check whether
it's valid beforehand
 2012-05-29 13:55:00 +02:00
Stefan Kalkowski
a4282e2033 Fiasco.OC: fix l4_task_cap_equal semantic. 
The syscall l4_task_cap_equal almost returns false although the referenced
kernel-objects are equal. This patch changes the semantic of the syscall so
that whenever two capabilities refering the same kernel-object are compared
it will return true. Please refer to the discussion of the following mail
thread:
  http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg05162.html
 2012-05-09 20:50:57 +02:00