On 10/3/22 22:11, Bagas Sanjaya wrote: > 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? > Thanks for pointing that out. --Ali
