Qingtao Liu

Hello, we are still trying to port seL4 to LoongArch. I notice that in `handleInterrupt()` function of `kernel/src/object/interrupt.c`, a valid irq state should be in one of these states: IRQSignal,...

I cloned this repo and executed this command "./build.sh -b l4v", then got message : ``` ..... cabal-install > Linking .stack-work/dist/x86_64-linux-tinfo6/Cabal-3.4.1.0/build/cabal/cabal ... cabal-install > copy/register cabal-install > Installing executable cabal...

用这个固件在qemu上启动自己的内核，进入了uefi shell，如何进一步引导呢

5

我编了一个nuttx内核，龙芯架构。 qemu命令： ``` ./qemu-system-loongarch64 -m 4G -smp 1 --cpu la464 --machine virt -bios ./bios/edk2-loongarch64-code.fd -kernel ./nuttx -vga none -nographic -gdb tcp::1122 -S ``` 看起来只能进入uefi shell，这个内核没有文件系统，直接用-kernel指定了内核。 启动以后，进入了uefi shell，请问接下来如何引导内核？ 

Hi, i noticed that you mentioned running cylictest on cRTOS. I want to test the real time performance of nuttx only, and wandering if you have got a version of...

May i get some help before starting porting NuttX to a new arch namely LoongArch

11

Hello there, I\`m trying to port NuttX to LoongArch, which is used in 64-bit microcontroller. Currently i`m a student and hope to learn some OS knowledge during porting. Is it...