Shared Kernel

• Linux in a NSS

+#ifdef CONFIG_SHARED_KERNEL

+ .org 0x100000

+#else

.org 0x10800

+#endif

Previous slide

Next slide

Back to first slide

View graphic version