armv7: handle VNodeCmd_Identify
authorSimon Gerber <simon.gerber@inf.ethz.ch>
Wed, 9 Nov 2016 12:37:33 +0000 (13:37 +0100)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Thu, 10 Nov 2016 10:14:47 +0000 (11:14 +0100)
commitfe9f0035d64b41786d2a68615d0545902597d9fb
tree92325b8eff112d1d358ad6f7c15feba40ff76704
parentfb9c7033f478c4c9ee6631e88d88fbb27fc342f4
armv7: handle VNodeCmd_Identify

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
kernel/arch/armv7/syscall.c