[dev][interrupt][arm_gic] Add DSB after igrpen write

This register is not self-synchronising. Without the DSP,
sm_intc_enable_interrupts could return before the pending interrupt was
visible to the CPU and libsm would return to the non-secure world
without handling the interrupt. The FIQ would then trigger again and
trusty would in turn trigger a new doorbell interrupt resulting in a
loop.

Bug: 170482177
Change-Id: If63f6d0b1bf0631edb6fff22220b33665e45aec7
1 file changed
tree: a06f45b6cecdc3fc2f5064621cb00d0612d37ae2
  1. app/
  2. arch/
  3. dev/
  4. external/
  5. hosttests/
  6. include/
  7. kernel/
  8. lib/
  9. make/
  10. platform/
  11. target/
  12. tools/
  13. top/
  14. .clang-format
  15. .gitignore
  16. build-config-kerneltests
  17. engine.mk
  18. kerneltests-inc.mk
  19. LICENSE
  20. lk_inc.mk.example
  21. makefile
  22. README.md
README.md

LK

The LK embedded kernel. An SMP-aware kernel designed for small systems.

See https://github.com/littlekernel/lk for the latest version.

See https://github.com/littlekernel/lk/wiki for documentation.

Builds

Build Status

To build and test for ARM on linux

  1. install or build qemu. v2.4 and above is recommended.
  2. install gcc for embedded arm (see note 1)
  3. run scripts/do-qemuarm (from the lk directory)
  4. you should see ‘welcome to lk/MP’

This will get you a interactive prompt into LK which is running in qemu arm machine ‘virt’ emulation. type ‘help’ for commands.

note 1: for ubuntu: sudo apt-get install gcc-arm-none-eabi or fetch a prebuilt toolchain from http://newos.org/toolchains/arm-eabi-5.3.0-Linux-x86_64.tar.xz