You are viewing a plain text version of this content. The canonical link for it is here.
Posted to commits@nuttx.apache.org by GitBox <gi...@apache.org> on 2022/10/20 06:55:49 UTC
[GitHub] [incubator-nuttx] yuening1999 opened a new issue, #7366: how to add microkernelized characteristics on nuttx 8.2
yuening1999 opened a new issue, #7366:
URL: https://github.com/apache/incubator-nuttx/issues/7366
Hi, all
Could anyone give some advices about the topic? for instance network component，file system and device driver ,etc.
I investigate the relevant code to network on nuttx 8.2, I found that all net protocol APIs(e.g., arp,icmp) were called directly from other components (e.g., device driver),which is a tight-coupling style. how to implement a little microkernelized characteristics?
--
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
To unsubscribe, e-mail: commits-unsubscribe@nuttx.apache.org.apache.org
For queries about this service, please contact Infrastructure at:
users@infra.apache.org
[GitHub] [incubator-nuttx] acassis commented on issue #7366: how to add microkernelized characteristics on nuttx 8.2
Posted by GitBox <gi...@apache.org>.
acassis commented on issue #7366:
URL: https://github.com/apache/incubator-nuttx/issues/7366#issuecomment-1295643202
@yuening1999 may we close this issue?
--
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
To unsubscribe, e-mail: commits-unsubscribe@nuttx.apache.org
For queries about this service, please contact Infrastructure at:
users@infra.apache.org
[GitHub] [incubator-nuttx] yuening1999 commented on issue #7366: how to add microkernelized characteristics on nuttx 8.2
Posted by GitBox <gi...@apache.org>.
yuening1999 commented on issue #7366:
URL: https://github.com/apache/incubator-nuttx/issues/7366#issuecomment-1287988281
@acassis Thank your for the detailed explaination. my team currently ready to port/add some microkernel architecture to Nuttx 8.2 by means of referencing to Phoenix-RTOS implementation, Meanwhile, seL4 is also a choice, @but we still do not make a decison.
BTW, we has implement protected mode on new MCU made in China, it work fine, although it currently do not support armv8m
--
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
To unsubscribe, e-mail: commits-unsubscribe@nuttx.apache.org
For queries about this service, please contact Infrastructure at:
users@infra.apache.org
[GitHub] [incubator-nuttx] yuening1999 closed issue #7366: how to add microkernelized characteristics on nuttx 8.2
Posted by GitBox <gi...@apache.org>.
yuening1999 closed issue #7366: how to add microkernelized characteristics on nuttx 8.2
URL: https://github.com/apache/incubator-nuttx/issues/7366
--
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
To unsubscribe, e-mail: commits-unsubscribe@nuttx.apache.org
For queries about this service, please contact Infrastructure at:
users@infra.apache.org
[GitHub] [incubator-nuttx] yuening1999 commented on issue #7366: how to add microkernelized characteristics on nuttx 8.2
Posted by GitBox <gi...@apache.org>.
yuening1999 commented on issue #7366:
URL: https://github.com/apache/incubator-nuttx/issues/7366#issuecomment-1286332936
@acassis Do you mean that nuttx 10.x or 11 had done some microkernelized characteristics ? In additon, I have saw some of implementation and usage for message queue(mq_xxx) on nuttx 8.2, why do you think I need some kind of IPC using the network in separation on nuttx 8.2, I have no understand the point. If current latest version of nuttx had made some microkernelized characteristics, could you tell what to do and how to do. ?
Oh, forgot, my MCU support protected build, armv8m core.
--
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
To unsubscribe, e-mail: commits-unsubscribe@nuttx.apache.org
For queries about this service, please contact Infrastructure at:
users@infra.apache.org
[GitHub] [incubator-nuttx] acassis commented on issue #7366: how to add microkernelized characteristics on nuttx 8.2
Posted by GitBox <gi...@apache.org>.
acassis commented on issue #7366:
URL: https://github.com/apache/incubator-nuttx/issues/7366#issuecomment-1289635291
Hi @yuening1999 really cool!!! Please send the normal support to this new chip to NuttX mainline, it will help more people to discover about this new chip. I think the microkernel support also should be something that could be useful to have on NuttX mailing, but it will depend on user selecting BSD License support instead of Apache only.
--
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
To unsubscribe, e-mail: commits-unsubscribe@nuttx.apache.org
For queries about this service, please contact Infrastructure at:
users@infra.apache.org
[GitHub] [incubator-nuttx] acassis commented on issue #7366: how to add microkernelized characteristics on nuttx 8.2
Posted by GitBox <gi...@apache.org>.
acassis commented on issue #7366:
URL: https://github.com/apache/incubator-nuttx/issues/7366#issuecomment-1285971177
@yuening1999 do you need to use this ancient version of NuttX? Maybe using some recent version will be easier. I think to use the network in separated you will need some kind of IPC. What MCU are you using? Does it support Protected Mode? or only Flat mode?
--
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
To unsubscribe, e-mail: commits-unsubscribe@nuttx.apache.org
For queries about this service, please contact Infrastructure at:
users@infra.apache.org
[GitHub] [incubator-nuttx] acassis commented on issue #7366: how to add microkernelized characteristics on nuttx 8.2
Posted by GitBox <gi...@apache.org>.
acassis commented on issue #7366:
URL: https://github.com/apache/incubator-nuttx/issues/7366#issuecomment-1287822788
Hi @yuening1999 I didn't explain it correctly: using a recent NuttX version (ie. 11.x) is better because it has significant improvements related to the network. We don't have microkernel implemented on recent NuttX version. Are you integrating seL4 on NuttX or just isolating NuttX kernel to the bare minimum to become a microkernel?
BTW: NuttX 8.2 doesn't have armv8m core support, NuttX 11.0 has it!
--
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
To unsubscribe, e-mail: commits-unsubscribe@nuttx.apache.org
For queries about this service, please contact Infrastructure at:
users@infra.apache.org