From: Ali Raza <aliraza@bu.edu>
To: Masahiro Yamada <masahiroy@kernel.org>
Cc: Bagas Sanjaya <bagasdotme@gmail.com>,
linux-kernel@vger.kernel.org, corbet@lwn.net,
michal.lkml@markovi.net, ndesaulniers@google.com,
tglx@linutronix.de, mingo@redhat.com, bp@alien8.de,
dave.hansen@linux.intel.com, hpa@zytor.com, luto@kernel.org,
ebiederm@xmission.com, keescook@chromium.org,
peterz@infradead.org, viro@zeniv.linux.org.uk, arnd@arndb.de,
juri.lelli@redhat.com, vincent.guittot@linaro.org,
dietmar.eggemann@arm.com, rostedt@goodmis.org,
bsegall@google.com, mgorman@suse.de, bristot@redhat.com,
vschneid@redhat.com, pbonzini@redhat.com, jpoimboe@kernel.org,
linux-doc@vger.kernel.org, linux-kbuild@vger.kernel.org,
linux-mm@kvack.org, linux-fsdevel@vger.kernel.org,
linux-arch@vger.kernel.org, x86@kernel.org, rjones@redhat.com,
munsoner@bu.edu, tommyu@bu.edu, drepper@redhat.com,
lwoodman@redhat.com, mboydmcse@gmail.com, okrieg@bu.edu,
rmancuso@bu.edu
Subject: Re: [RFC UKL 10/10] Kconfig: Add config option for enabling and sample for testing UKL
Date: Thu, 13 Oct 2022 13:08:54 -0400 [thread overview]
Message-ID: <4ae5f680-9db6-a087-a11b-a8b1ff7237a0@bu.edu> (raw)
In-Reply-To: <CAK7LNAT-Q=sS-9L1eRuOnomqqDNyRp2knZh+2SYLqB2Gn8ekHg@mail.gmail.com>
On 10/7/22 06:21, Masahiro Yamada wrote:
> On Fri, Oct 7, 2022 at 6:29 AM Ali Raza <aliraza@bu.edu> wrote:
>>
>> 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
>>
>
>
> The commit subject "Kconfig:" is used for changes
> under scripts/kconfig/.
>
> Please use something else.
>
>
Will do, thank you!
--Ali
next prev parent reply other threads:[~2022-10-13 17:09 UTC|newest]
Thread overview: 26+ messages / expand[flat|nested] mbox.gz Atom feed top
2022-10-03 22:21 [RFC UKL 00/10] Unikernel Linux (UKL) Ali Raza
2022-10-03 22:21 ` [RFC UKL 01/10] kbuild: Add sections and symbols to linker script for UKL support Ali Raza
2022-10-03 22:21 ` [RFC UKL 02/10] x86/boot: Load the PT_TLS segment for Unikernel configs Ali Raza
2022-10-04 17:30 ` Andy Lutomirski
2022-10-06 21:00 ` Ali Raza
2022-10-03 22:21 ` [RFC UKL 03/10] sched: Add task_struct tracking of kernel or application execution Ali Raza
2022-10-03 22:21 ` [RFC UKL 04/10] x86/entry: Create alternate entry path for system calls Ali Raza
2022-10-04 17:43 ` Andy Lutomirski
2022-10-06 21:12 ` Ali Raza
2022-10-03 22:21 ` [RFC UKL 05/10] x86/uaccess: Make access_ok UKL aware Ali Raza
2022-10-04 17:36 ` Andy Lutomirski
2022-10-06 21:16 ` Ali Raza
2022-10-03 22:21 ` [RFC UKL 06/10] x86/fault: Skip checking kernel mode access to user address space for UKL Ali Raza
2022-10-03 22:21 ` [RFC UKL 07/10] x86/signal: Adjust signal handler register values and return frame Ali Raza
2022-10-04 17:34 ` Andy Lutomirski
2022-10-06 21:20 ` Ali Raza
2022-10-03 22:21 ` [RFC UKL 08/10] exec: Make exec path for starting UKL application Ali Raza
2022-10-03 22:21 ` [RFC UKL 09/10] exec: Give userspace a method for starting UKL process Ali Raza
2022-10-04 17:35 ` Andy Lutomirski
2022-10-06 21:25 ` Ali Raza
2022-10-03 22:21 ` [RFC UKL 10/10] Kconfig: Add config option for enabling and sample for testing UKL Ali Raza
2022-10-04 2:11 ` Bagas Sanjaya
2022-10-06 21:28 ` Ali Raza
2022-10-07 10:21 ` Masahiro Yamada
2022-10-13 17:08 ` Ali Raza [this message]
2022-10-06 21:27 ` [RFC UKL 00/10] Unikernel Linux (UKL) H. Peter Anvin
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=4ae5f680-9db6-a087-a11b-a8b1ff7237a0@bu.edu \
--to=aliraza@bu.edu \
--cc=arnd@arndb.de \
--cc=bagasdotme@gmail.com \
--cc=bp@alien8.de \
--cc=bristot@redhat.com \
--cc=bsegall@google.com \
--cc=corbet@lwn.net \
--cc=dave.hansen@linux.intel.com \
--cc=dietmar.eggemann@arm.com \
--cc=drepper@redhat.com \
--cc=ebiederm@xmission.com \
--cc=hpa@zytor.com \
--cc=jpoimboe@kernel.org \
--cc=juri.lelli@redhat.com \
--cc=keescook@chromium.org \
--cc=linux-arch@vger.kernel.org \
--cc=linux-doc@vger.kernel.org \
--cc=linux-fsdevel@vger.kernel.org \
--cc=linux-kbuild@vger.kernel.org \
--cc=linux-kernel@vger.kernel.org \
--cc=linux-mm@kvack.org \
--cc=luto@kernel.org \
--cc=lwoodman@redhat.com \
--cc=masahiroy@kernel.org \
--cc=mboydmcse@gmail.com \
--cc=mgorman@suse.de \
--cc=michal.lkml@markovi.net \
--cc=mingo@redhat.com \
--cc=munsoner@bu.edu \
--cc=ndesaulniers@google.com \
--cc=okrieg@bu.edu \
--cc=pbonzini@redhat.com \
--cc=peterz@infradead.org \
--cc=rjones@redhat.com \
--cc=rmancuso@bu.edu \
--cc=rostedt@goodmis.org \
--cc=tglx@linutronix.de \
--cc=tommyu@bu.edu \
--cc=vincent.guittot@linaro.org \
--cc=viro@zeniv.linux.org.uk \
--cc=vschneid@redhat.com \
--cc=x86@kernel.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).