Re: [RFC UKL 10/10] Kconfig: Add config option for enabling and sample for testing UKL

From: Bagas Sanjaya
Date: Mon Oct 03 2022 - 22:11:27 EST


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