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

[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