Giacomo Tesio ea6f34f4f7 kern: mark pexit() as noreturn ...

Since pexit() calls sched() it wont return to the caller.
Should fix

- CID 155655: Missing break in switch
- CID 155672: Missing break in switch

2017-04-24 09:55:45 +02:00

..

include

libposix: getppid

2017-04-22 00:40:39 +02:00

lib/plumb

first usable version of kernel and commands

2016-11-26 03:49:29 +01:00

log

first usable version of kernel and commands

2016-11-26 03:49:29 +01:00

posix

fs: no "default" posix library

2017-04-21 23:59:27 +02:00

src

kern: mark pexit() as noreturn

2017-04-24 09:55:45 +02:00