genode/repos/base-sel4/lib/mk/syscall.mk

mirror of https://github.com/genodelabs/genode.git synced 2024-12-27 01:11:06 +00:00
#
# Syscall library for accessing the seL4 kernel interface. This library is
# merely there to incorporate the corresponding 'import/syscall.mk' file
# in targets that need to issue seL4 system calls.
#
sel4: first syscall invokation 2014-10-15 16:11:17 +00:00			`#`
			`# Syscall library for accessing the seL4 kernel interface. This library is`
			`# merely there to incorporate the corresponding 'import/syscall.mk' file`
			`# in targets that need to issue seL4 system calls.`
			`#`