Adithya Baglody 57832073c6 kernel: arch interface for memory domain ...

Additional arch specific interfaces to handle memory domain
destroy and single partition removal.

Signed-off-by: Adithya Baglody <adithya.nagaraj.baglody@intel.com>

2017-11-07 12:22:43 -08:00

..

gen_offset.h

license: Replace Apache boilerplate with SPDX tag

2017-01-19 03:50:58 +00:00

kernel_offsets.h

syscalls: greatly simplify system call declaration

2017-09-29 13:02:20 -07:00

kernel_structs.h

userspace: assign thread IDs at build time

2017-11-03 11:29:23 -07:00

ksched.h

userspace: de-initialize aborted threads

2017-10-16 16:16:28 -07:00

nano_internal.h

kernel: arch interface for memory domain

2017-11-07 12:22:43 -08:00

offsets_short.h

kernel/arch: streamline thread user options

2017-01-24 13:34:50 +00:00

syscall_handler.h

doc: Fix misspellings in header/doxygen comments

2017-10-17 19:40:29 -04:00

timeout_q.h

cleanup: rename fiber/task -> thread

2017-10-30 18:41:15 -04:00

wait_q.h

Convert remaining code to using newly introduced integer sized types

2017-04-21 11:38:23 -05:00