denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 20:42:56 +01:00
Code Issues Packages Projects Releases Wiki Activity
Files
fabea7fba1993a0c31d71a628019393f29d0ee39
genode/base-hw/include/arm/kernel
History
Martin Stein e0419b2401 hw: clearer naming scheme in kernel API 
Rename kernel syscall in kernel call and the kernel-API
files in kernel/interface* .

ref #953
2013-11-25 09:45:30 +01:00
..
interface_support.h
hw: clearer naming scheme in kernel API
2013-11-25 09:45:30 +01:00