Messages in this thread | | | Date | Thu, 6 Oct 2022 17:28:53 -0400 | Subject | Re: [RFC UKL 10/10] Kconfig: Add config option for enabling and sample for testing UKL | From | Ali Raza <> |
| |
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
| |