"credits" or "license" for more information.
> > > > print(123)
> 123
> > > >
>
> Lup
>
> On Wed, Apr 9, 2025 at 4:34 PM Yanfeng Liu wrote:
>
> > Lup,
> >
> > Thanks for the information, I can build with xpack toolchai
+, alin.jerpe...@sony.com wrote:
> Hi Liu,
>
> thanks for your feedback
> Can you link the missing patches?
>
> Thanks
> Alin
>
> ____________
> Från: Yanfeng Liu
> Skickat: den 9 april 2025 09:42
> Till: dev@nuttx.apache.org
> Ä
Hi,
-1 here.
Checked mainly with rv-virt on Ubuntu 22.04 with riscv64-unknown-elf-gcc
toolchain 10.2.0 mainly.
Passed configs: nsh, knsh, nsbi, flats
Minor issue:
- rv-virt:python (failed to build with both 10.2 and 14.2)
Regards,
yf
On Tue, 2025-04-08 at 07:21 +0200, Alin Jerpelea wrote:
+1
On Mon, 2025-04-07 at 17:13 +0800, chao an wrote:
> Hi community,
>
> Some green hand and individual developer who are not familiar with nuttx
> may be confused by the naming of modlib, in currect implement, modlib as an
> elf loader and parser, does not provide any features other than elf.
>
Dear experts,
It seems that QEMU has instruction counters support for emulated Cortex-A
processors via their PMU regs and they can be accessed from guest programs.
I am wondering if QEMU has any instruction counter support for emulated Cortex-M
processors? if so, how they can be used?
Regards,
y
Ivan
Does microkit 2.0 support running VM on qemu_virt_riscv64 now?
Regards,
yf
On Thu, 2025-03-06 at 06:43 +, Ivan Velickovic via Devel wrote:
> Hello everyone,
>
> There is a new release of Microkit, version 2.0.0.
>
> This release contains various bug fixes, quality-of-life changes, fe
"KernelIsMCS": True,
> - "QEMU_MEMORY": "2048",
> + "QEMU_MEMORY": "128",
> "KernelRiscvExtD": True,
> "KernelRiscvExtF": True,
> },
> ```
>
> Ivan
>
> >
Ivan,
Congratulations!
I am wondering if we use microkit on a QEMU riscv64 virt board with smaller
memory size (like 128MB)?
Are there any notes about how to achieve this?
Regards,
yf
On Thu, 2025-03-06 at 06:43 +, Ivan Velickovic via Devel wrote:
> Hello everyone,
>
> There is a new re
ilities, thus all guest
> instructions get executed natively by bare metal, and thus the need
> to actually emulate instructions via the TCG gets minimized...
>
> Frank
>
> https://www.vmware.com/docs/vmware_timekeeping
> https://wiki.osdev.org/APIC_Timer
> https://airbus-seclab.git
Dear experts,
I am wondering how the precision of timers are with QEMU on x64 Ubuntu Linux and
TCG accelerator?
Regards,
yf
Dear experts,
With `qemu-system-arm -M virt -smp 2`, it seems that secondary core is halted
upon boot and needs be brought up via PSCI later.
I am wondering if there is a way to tell QEMU to boot all cores upon boot
without having to use PSCI? I couldn't find an option in the manual yet.
Regards
On Thu, 2025-02-27 at 09:55 +, Peter Maydell wrote:
> On Thu, 27 Feb 2025 at 05:44, Yanfeng Liu wrote:
> > I am wondering QEMU semihosting for ARM or RISCV targets allows user to
> > control
> > the set of functions available in semihosting? for example, I want give
&g
Dear experts,
I am wondering QEMU semihosting for ARM or RISCV targets allows user to control
the set of functions available in semihosting? for example, I want give read-
only host folder share and poweroff functions to a guest. Is this possible?
Regards,
yf
On Mon, 2025-01-27 at 09:03 +0100, Philippe Mathieu-Daudé wrote:
> Hi,
>
> On 26/1/25 12:43, Yanfeng Liu wrote:
> > From: Yanfeng Liu
> >
> > This enables generic timer feature for Cortex-R5 so that to support guests
> > like NuttX RTOS.
>
> QEMU aims
From: Yanfeng Liu
This enables generic timer feature for Cortex-R5 so that to support guests
like NuttX RTOS.
Signed-off-by: Yanfeng Liu
---
target/arm/tcg/cpu32.c | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/target/arm/tcg/cpu32.c b/target/arm/tcg/cpu32.c
index
Happy new year! dear experts,
It seems that user space image frames of initial thread are created before
initial untypeds, may I ask can we reclaim some of those frames after use? will
this lead to creation of addtional root untypeds?
Regards,
yf
___
Dear community,
I am wondering if anyone knows how to use a NuttX SDK exported via `make export`
from nuttx repository for apps development in non-kernel mode?
In kernel mode, I am using it everyday like below:
```bash
$ cd nuttx
$ tools/configure.sh rv-virt:nsh
$ make -j
$ make -j export
$ ls -
Tiago,
Thank you and Congratulations!
Regarding the following paragraph:
> One can argue that Python wasn’t designed to run on resource-constrained
devices - like the ones that are supported by the NuttX RTOS - and that there
are other alternatives for developing embedded applications.
I just
Dear experts,
I am wondering how seL4 app can reclaim some root server memory frames at later
stage of bootstrapping?
Regards,
yf
___
Devel mailing list -- devel@sel4.systems
To unsubscribe send an email to devel-leave@sel4.systems
On Mon, 2024-12-16 at 15:33 +1000, Alistair Francis wrote:
> On Thu, Dec 5, 2024 at 7:17 PM Yanfeng Liu wrote:
> >
> > On Thu, 2024-12-05 at 08:10 +, Alex Bennée wrote:
> > > Yanfeng Liu writes:
> > >
> > > > On Wed, 2024-12-04 at 17:03 +0100, M
On Tue, 2024-12-17 at 11:44 +, Indan Zupancic wrote:
> Hello yf,
>
> On 2024-12-17 06:26, Yanfeng Liu wrote:
> > Thanks for this information. Here I use it to get unused space for an
> > Untyped
> > object as `((1 << capBlockSize) - (capFreeIndex <<
&
On Mon, 2024-12-16 at 10:30 +, Indan Zupancic wrote:
> Hello yf,
>
> On 2024-12-15 21:52, Yanfeng Liu wrote:
> > I was wondering how to get total unused space of an untyped object? My
> > understanding is to follow the linked list from the untyped and sum up
>
On Sat, 2024-12-14 at 22:56 +, Indan Zupancic wrote:
> Hello yf,
>
> On 2024-12-13 05:51, Yanfeng Liu via Devel wrote:
> > can we take that:
> > - non-zero `mdbNext` must pointer to entries in CNodes or TCB blocks?
>
> If you mean that the derivation tree is
This adds virtualization mode (V bit) as bit(2) of register `priv`
per RiscV debug spec v1.0.0-rc4. Checked with gdb-multiarch v12.1.
Note that GDB may display `INVALID` tag for `priv` reg when V bit
is set, this doesn't affect actual access to the bit though.
Signed-off-by: Yanfen
On Fri, 2024-12-13 at 10:04 +0100, Mario Fleischmann wrote:
> Hi,
>
> apologies for the delayed review; I've just gotten to it now.
>
> On 06.12.2024 01:14, Yanfeng Liu wrote:
> > This adds virtualization mode (V bit) as bit(2) of register `priv`
> > per RiscV deb
On Thu, 2024-12-12 at 13:29 +, Indan Zupancic wrote:
> Hello,
>
> On 2024-12-12 12:42, Yanfeng Liu via Devel wrote:
> > I noticed that `mdb_node_t` has `mdbPrev` and `mdbNext` pointer fields
> > but
> > not sure how can they be used to travel the capabilit
On Thu, 2024-12-12 at 13:29 +, Indan Zupancic wrote:
> Hello,
>
> On 2024-12-12 12:42, Yanfeng Liu via Devel wrote:
> > I noticed that `mdb_node_t` has `mdbPrev` and `mdbNext` pointer fields
> > but
> > not sure how can they be used to travel the capabilit
Dear experts,
I am trying to understand the memory usage of a running seL4 demo with help of
GDB.
I am wondering how I can travel the Capability derivation tree starting from
original untyped objects and see how memory are used.
I noticed that `mdb_node_t` has `mdbPrev` and `mdbNext` pointer fi
On Wed, 2024-12-04 at 21:49 +, Indan Zupancic wrote:
> Hello yf,
>
> On 2024-12-02 02:56, Yanfeng Liu via Devel wrote:
> > > Figure 3.3 depicts an example CSpace. In order to illustrate these
> > > ideas,
> > we determine the address of each of the 10 capabi
This adds virtualization mode (V bit) as bit(2) of register `priv`
per RiscV debug spec v1.0.0-rc3. Checked with gdb-multiarch v12.1.
Note that GDB may display `INVALID` tag for the value when V bit
is set, this doesn't affect accessing to the bit.
Signed-off-by: Yanfeng Liu
---
target/
On Thu, 2024-12-05 at 08:10 +, Alex Bennée wrote:
> Yanfeng Liu writes:
>
> > On Wed, 2024-12-04 at 17:03 +0100, Mario Fleischmann wrote:
> > > Hi everyone,
> > >
> > > I'd like to chime in here because we are sitting on a similar patch
> &g
isor support, `(qemu) info registers` isn't enough. We need to
> have both read and write access to the V-bit.
>
> On 04.12.2024 14:43, Yanfeng Liu wrote:
> > On Fri, 2024-11-29 at 09:59 +, Alex Bennée wrote:
> > > Yanfeng writes:
> > >
> > > >
Dear experts,
When reading section 3.3.2 of the latest seL4 manual, it says:
> Figure 3.3 depicts an example CSpace. In order to illustrate these ideas, we
determine the address of each of the 10 capabilities in this CSpace.
I guess the total number of 10 is made of 3 caps for CNode types and 7
On Fri, 2024-11-29 at 09:59 +, Alex Bennée wrote:
> Yanfeng writes:
>
> > On Thu, 2024-11-28 at 14:21 +, Alex Bennée wrote:
> > > Yanfeng Liu writes:
> > >
> > > > This adds `virt` virtual register on debug interface so that users
> >
This adds `virt` virtual register on debug interface so that users
can access current virtualization mode for debugging purposes.
Signed-off-by: Yanfeng Liu
---
gdb-xml/riscv-32bit-virtual.xml | 1 +
gdb-xml/riscv-64bit-virtual.xml | 1 +
target/riscv/gdbstub.c | 18
not the named addressee you should not
disseminate, distribute or copy this e-mail. Please notify the sender
immediately by e-mail if you have received this e-mail by mistake and delete
this e-mail from your system.
-Ursprüngliche Nachricht-
Von: Yanfeng Liu [mailto:yanfeng@ygomi.com
istake and delete
this e-mail from your system.
-Ursprüngliche Nachricht-
Von: Yanfeng Liu [mailto:yanfeng@ygomi.com]
Gesendet: Donnerstag, 23. Juli 2015 12:28
An: proton@qpid.apache.org
Betreff: RE: proton-j messenger connection issues
Julien,
Sorry to hear your story with proton-J
Julien,
Sorry to hear your story with proton-J.
Can I ask you happened to know how to get the name of a temporary queue created
by proton-J program? See https://issues.apache.org/jira/browse/PROTON-938 for
more details.
Regards,
Yanfeng
From: Julien Charon [mailto:julien.cha...@avitech.aero]
[
https://issues.apache.org/jira/browse/PROTON-938?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel
]
yanfeng liu updated PROTON-938:
---
Summary: [proton-J]Need ways to know temporary queue address created by
Proton-J (was: [proton-J
[
https://issues.apache.org/jira/browse/PROTON-938?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel
]
yanfeng liu updated PROTON-938:
---
Summary: [proton-J] How to know temporary queue address created by Proton-J
(was: Have APIs to know
[
https://issues.apache.org/jira/browse/PROTON-938?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel
]
yanfeng liu updated PROTON-938:
---
Issue Type: Bug (was: Wish)
> Have APIs to know address of temporary queue created by Proto
[
https://issues.apache.org/jira/browse/PROTON-938?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel
]
yanfeng liu updated PROTON-938:
---
Description:
It seems that Proton-J lacks the method to retrieve the address of a temporary
queue
yanfeng liu created PROTON-938:
--
Summary: Have APIs to know address of temporary queue created by
Proton-J program
Key: PROTON-938
URL: https://issues.apache.org/jira/browse/PROTON-938
Project: Qpid
Hi,
We are trying PROTON libraries and we found that with PROTON-C, we can create
temporary queues using "amqp://host/#" style URL. Then we can use "
pn_subscription_address()" API to learn the temporary queue name:
pn_subscription_t * sub = NULL;
if ((sub = pn_messenger_subscribe(messenger
Gordon,
Thank you so much for the pointer!
Regards,
Yanfeng
-Original Message-
From: Gordon Sim [mailto:g...@redhat.com]
Sent: Friday, June 19, 2015 4:27 PM
To: proton@qpid.apache.org
Subject: Re: how to create temporary queue from Proton API
On 06/19/2015 07:14 AM, Yanfeng Liu
Hi,
I am wondering if it is possible to create a temporary queue from a Qpid client
program using Proton API only?
This is possible from the non-Proton API libraries for Java, C and other
languages. But unfortunately I can't use such legacy APIs.
All I can use is Proton-C library.
Regards,
Ya
[
https://issues.apache.org/jira/browse/PROTON-890?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel
]
yanfeng liu updated PROTON-890:
---
Description:
Reproducing steps:
1) Run a broker with qpidd-cpp-0.32 runs SSL using a server
[
https://issues.apache.org/jira/browse/PROTON-890?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel
]
yanfeng liu updated PROTON-890:
---
Summary: adding subjectAltName (IP) support to proton-c 0.9.1 (was: adding
subjectAltName (SAN
[
https://issues.apache.org/jira/browse/PROTON-890?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel
]
yanfeng liu updated PROTON-890:
---
Description:
Reproducing steps:
1) Run a broker with qpidd-cpp-0.32 runs SSL using a server
[
https://issues.apache.org/jira/browse/PROTON-890?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel
]
yanfeng liu updated PROTON-890:
---
Summary: adding subjectAltName (SAN) support to proton-c 0.9.1 (was: IP
type subjectAltName not
[
https://issues.apache.org/jira/browse/PROTON-890?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel
]
yanfeng liu updated PROTON-890:
---
Description:
Reproducing steps:
1) Run a broker with qpidd-cpp-0.32 runs SSL using a server
[
https://issues.apache.org/jira/browse/PROTON-890?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel
]
yanfeng liu updated PROTON-890:
---
Priority: Minor (was: Major)
> IP type subjectAltName not supported by verify_callback()
[
https://issues.apache.org/jira/browse/PROTON-891?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel
]
yanfeng liu closed PROTON-891.
--
Resolution: Duplicate
Sorry the issue tracker web page was not showing smoothly, thus duplication was
yanfeng liu created PROTON-891:
--
Summary: IP type subjectAltName not supported by verify_callback()
in openssl.c
Key: PROTON-891
URL: https://issues.apache.org/jira/browse/PROTON-891
Project: Qpid
yanfeng liu created PROTON-890:
--
Summary: IP type subjectAltName not supported by verify_callback()
in openssl.c
Key: PROTON-890
URL: https://issues.apache.org/jira/browse/PROTON-890
Project: Qpid
[
https://issues.apache.org/jira/browse/PROTON-738?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=14544743#comment-14544743
]
yanfeng liu commented on PROTON-738:
Hi,
It seems working for my amd64 Ubuntu 1
[
https://issues.apache.org/jira/browse/PROTON-738?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=14541467#comment-14541467
]
yanfeng liu commented on PROTON-738:
This should be 0.9 now. :)
Lacking of De
Hi,
I am trying to use the JDBC pool feature of Tomcat 4.0.3.
I am using the tomcat4-4.0.3 rpm packages on a RH 7.2 box.
Firstly I can not find the tyrex-0.9.7.jar in the tomcat release.
Secondly, when I copied a tyrex-0.9.7.jar in $CATALINA_HOME/common/lib,
the JDBC pool I specified in stil
Hi,
I am a fan of both Linux and Java, and I am so glad to find that there
is a version of Kaffe on my Redhat 5.1 linux and want to try it.
Then I find kaffe is not easy to use, for example, I always have the
following errors when I use "javac":
javac -classpath /usr/share/kaffe/klasses.zip H
59 matches
Mail list logo
