On 10/4/22 05:21, Ali Raza wrote: > Add the KConfig file that will enable building UKL. Documentation > introduces the technical details for how UKL works and the motivations > behind why it is useful. Sample provides a simple program that still uses > the standard system call interface, but does not require a modified C > library. > <snipped> > Documentation/index.rst | 1 + > Documentation/ukl/ukl.rst | 104 ++++++++++++++++++++++++++++++++++++++ > Kconfig | 2 + > kernel/Kconfig.ukl | 41 +++++++++++++++ > samples/ukl/Makefile | 16 ++++++ > samples/ukl/README | 17 +++++++ > samples/ukl/syscall.S | 28 ++++++++++ > samples/ukl/tcp_server.c | 99 ++++++++++++++++++++++++++++++++++++ > 8 files changed, 308 insertions(+) > create mode 100644 Documentation/ukl/ukl.rst > create mode 100644 kernel/Kconfig.ukl > create mode 100644 samples/ukl/Makefile > create mode 100644 samples/ukl/README > create mode 100644 samples/ukl/syscall.S > create mode 100644 samples/ukl/tcp_server.c Shouldn't the documentation be split into its own patch? -- An old man doll... just what I always wanted! - Clara
