Raspberry PI 4 Released

Raspberry Pi 4 was just released: Faster CPU, More Memory, Dual HDMI Ports. A new version of the $35 computer features a 1.5GHz Arm chip and support for dual-HDMI 4K displays, Gigabit Ethernet, and much more. This credit card size Raspberry PI 4 desktop computer level of performance. Raspberry Pi 4 is now on sale, starting at $35. $35 gets you the standard 1GB RAM, or you can pay $45 for the 2GB model or $55 for the 4GB model.

Here are picture and video from Pi 4 release page:

 

 

Feature picture from product page:

 

More information:
Raspberry Pi 4 Just Released: Faster CPU, More Memory, Dual HDMI Ports

Raspberry PI 4 Released – Complete specs and pricing

Meet the New Raspberry Pi 4, Model B

Raspberry Pi 4 is here!

Raspberry Pi 4 homepage

Raspberry Pi 4 on sale now from $35

 

213 Comments

  1. Tomi Engdahl says:

    New Raspberry Pi OS Looks Like Windows XP
    https://www.tomshardware.com/news/windows-raspberry-pi-xp-linux-raspbian-professional

    While you can’t quite have the full Windows XP experience on a Raspberry Pi, this Linux Raspbian XP Professional operating system (OS) from Pi Lab definitely gets close. It’s designed to run on the Raspberry Pi 4, the only model powerful enough to handle it.

    Linux Raspbian XP Professional comes with a number of features that are reminiscent of the old XP OS. It has a working Start Menu complete with a usable search bar at the top. All of the menus, icons and taskbars have the classic bubbly XP. They even included the complete LibreOffice suite in lieu of Microsoft Office.

    Reply
  2. Tomi Engdahl says:

    Why the Raspberry Pi 4 should catch your eye
    https://www.edn.com/why-the-raspberry-pi-4-should-catch-your-eye/?utm_source=newsletter&utm_campaign=link&utm_medium=EDNFunFriday-20200424

    If you’re basing your next system design on the Arm architecture, the Raspberry Pi Foundation’s various boards are an intriguing alternative to “rolling” your own hardware, particularly for modest production volumes. Their longevity, widespread adoption, and multiple sourcing options have translated into robust availability and cost-effective pricing. Board variants based on multiple CPU core generations are available; they also have varying form factors, power consumption specs, clock speeds, and connectivity, memory and other peripheral types and amounts.

    The boards’ standardized HAT (hardware attached on top) connectors and software protocols further expand their peripheral capabilities, as well as bolstering their debugging and other development support. And when system shipment volumes reach the point where it makes fiscal sense for you to take over hardware building block manufacturing responsibilities yourself, the boards’ open-source specifications make the transition a straightforward one.

    Reply
  3. Tomi Engdahl says:

    RetroPie 4.6 brings forth an answer to ‘What do I do with this Pi 4 I bought last year?’
    Fans of creaky old hardware can relive their misspent IT youth
    https://www.theregister.co.uk/2020/04/29/retropie_4_6/

    Bought a Raspberry Pi 4 and left the poor thing mouldering in your gadget drawer? We have news – RetroPie has unleashed version 4.6 of its popular emulator suite.

    RetroPie itself is, at its core, a collection of emulators wrapped up in a vaguely user-friendly interface, navigable by joystick.

    https://retropie.org.uk/news/

    Reply
  4. Tomi Engdahl says:

    The Raspberry Pi 4 can now boot directly from USB devices, thanks to a beta firmware update.

    Raspberry Pi 4 Beta Firmware Brings True USB Boot for High-Speed Storage, No microSD Required
    https://www.hackster.io/news/raspberry-pi-4-beta-firmware-brings-true-usb-boot-for-high-speed-storage-no-microsd-required-690e0ff2a079

    Available in beta now, and with general availability very soon, the latest firmware adds USB boot to microSD and network options.

    Reply
  5. Tomi Engdahl says:

    ZRAM BOOSTS RASPBERRY PI PERFORMANCE
    https://hackaday.com/2020/05/20/zram-boosts-raspberry-pi-performance/

    Linux is a two-edged sword. On the one hand, there’s so much you can configure. On the other hand, there’s so much you can configure. It is sometimes hard to know just what you should do to get the best performance, especially on a small platform like the Raspberry Pi. [Hayden James] has a suggestion: enable ZRAM and tweak the kernel to match.

    Although the post focuses on the Raspberry Pi 4, it applies to any Linux system that has limited memory including older Pi boards. The idea is to use a portion of main memory as a swap file. At first, that might seem like a waste since you could use that memory to, you know, actually run programs. However, the swap devices are compressed, so you get more swap space and transfers from these compressed swap devices and main memory are lightning-fast compared to a hard drive or solid state disk drive.

    Raspberry Pi Performance: Add ZRAM and these Kernel Parameters
    Last updated May 20, 2020 | Published May 19, 2020 by Hayden James, in Blog Linux
    https://haydenjames.io/raspberry-pi-performance-add-zram-kernel-parameters/

    Reply
  6. Tomi Engdahl says:

    Raspberry Pi 4 Model B 8GB Launches, Brings Double the RAM for Power Users
    https://www.hackster.io/news/raspberry-pi-4-model-b-8gb-launches-brings-double-the-ram-for-power-users-265e17ef40cb

    Launched today, alongside the beta of a 64-bit Raspberry Pi OS, the new 8GB model offers twice the memory and full backwards compatibility.

    Reply
  7. Tomi Engdahl says:

    8GB Raspberry Pi 4 released for $75 – Specifications
    https://www.cyberciti.biz/linux-news/8gb-raspberry-pi-4-released-for-75-specifications/

    Back in June 2019, the Raspberry PI 4 model was released, and it was an incredible update over the older model with up to 4GB ram. Today we see the long-rumored 8GB Raspberry Pi 4 released and priced at the just US $75.

    CPU – Broadcom BCM2711, Quad core Cortex-A72 (ARM v8) 64-bit SoC @ 1.5GHz
    RAM options – 2GB, 4GB or 8GB LPDDR4-3200 SDRAM (depending on model)
    Wifi – 2.4 GHz and 5.0 GHz IEEE 802.11ac wireless
    Bluetooth 5.0, BLE – Supported
    Gigabit Ethernet: Yes
    USB – 2 USB 3.0 ports; 2 USB 2.0 ports.
    Raspberry Pi standard 40 pin GPIO header
    HDMI – 2 × micro-HDMI ports that can provide up to 4kp60

    Reply
  8. Tomi Engdahl says:

    Raspberry Pi OS: Why It’s No Longer Called ‘Raspbian’
    https://www.tomshardware.com/news/raspberry-pi-os-no-longer-raspbian

    The new, 64-bit operating system doesn’t use software from the Raspbian project at all, instead taking its “userland,” the part of the OS that floats above the Kernel, from Debian arm64. In a post on the raspberrypi.org forums, Green explains that he doesn’t want the Raspbian name used for something that doesn’t incorporate code from his project.

    “For a while now raspberry pi have been considering 64-bit images,” Green wrote. “Eben [Upton, founder of Raspberry Pi] sent me an email asking my opinion about nomenclature and I expressed that I would not be pleased about the use of the name “Raspbian” for images that did not contain anything from Raspbian.”

    Green also wrote that he plans to continue the Raspbian project, which will undoubtedly continue to be used to build the 32-bit version of Raspberry Pi OS. Considering that many models of Raspberry Pi, including the very-popular Raspberry Pi Zero, will never work with a 64-bit OS, the 32-bit platform will continue to be important if not dominant for years to come.

    Reply
  9. Tomi Engdahl says:

    A Dual Screen Luggable With Integrated RTL-SDR
    https://hackaday.com/2020/06/03/a-dual-screen-luggable-with-integrated-rtl-sdr/

    The latest of these cyberdecks, a dual screen “luggable” reminiscent of classic computers like the Compaq Portable or Kaypro, comes our way from [dapperrogue]. Powered by the Raspberry Pi 4 and featuring a scratch-built mechanical keyboard to perfectly fit the machines’s specific dimensions, this is easily one of the more practical builds we’ve seen.

    https://imgur.com/a/k2Re4Ok

    Reply
  10. Tomi Engdahl says:

    https://m.facebook.com/637758527/posts/10157587503528528/?from_close_friend=1&notif_id=1592719234959391&notif_t=close_friend_activity&ref=notif
    Varsin mielenkiintoinen Raspberry Pi 4 opetuspaketti. Kotelossa on mm. oma näyttö, akku, helpot liitännät mukana tuleville antureille, napeille, valoille jne. Mukana 8 LEGO-yhteensopivaa liitäntäpalikkaa. Hinta on valitettavasti 300 dollaria + ALV. Eli olisi Suomessa lähemmäs 350 €, joka on liikaa.

    Pi-Top 4 Review – Raspberry Pi 4 Portable Programmable Computing Device
    https://m.youtube.com/watch?feature=share&v=4MnGAw-LU9Q

    Reply
  11. Tomi Engdahl says:

    Bridge “Chip” Accesses the PCI-Express Bus on a Raspberry Pi 4
    A clever PCB that simplifies connecting the Pi 4′s PCIe bus to the USB port.
    https://www.hackster.io/news/bridge-chip-accesses-the-pci-express-bus-on-a-raspberry-pi-4-5274fa2cc03c

    Reply
  12. Tomi Engdahl says:

    Stay Informed During the Apocalypse with an Off-Grid Wikipedia Device
    https://www.hackster.io/news/stay-informed-during-the-apocalypse-with-an-off-grid-wikipedia-device-b37332c7bc1d

    The Apocalypse Wiki device is driven by a Raspberry Pi 4 and uses a touchscreen for navigating Wikipedia offline.

    Clark designed his off-grid Wikipedia using a Raspberry Pi 4 Model B and a 128Gb SD card, which packs the open source Kiwix offline reader for online content, in this case, Wikipedia. Viewing the information is done using the official Raspberry Pi 7″ touchscreen display. At the same time, power is handled by a 5V trigger relay module, Pi Supply power switch, and a 10000mAh USB high capacity power bank with a 10 to 12-hour runtime.

    Reply
  13. Tomi Engdahl says:

    PCIe bridge “chip” that simply replaces the VL805 USB 3.0 controller chip on the Pi, giving access to the PCI-Express bus on a USB 3.0 port.

    Raspberry Pi 4 PCI-Express Bridge “Chip”
    https://blog.zakkemble.net/rpi4-pci-express-bridge-chip/

    Reply
  14. Tomi Engdahl says:

    ADDING PCIE TO YOUR RASPBERRY PI 4, THE EASIER WAY
    https://hackaday.com/2020/07/01/adding-pcie-to-your-raspberry-pi-4-the-easier-way/

    Ever since people figured out that the Raspberry Pi 4 has a PCIe bus, the race was on to be the first to connect a regular PCIe expansion card to a Raspberry Pi 4 SBC. Now [Zak Kemble] has created a new approach, using a bridge PCB that replaces the VL805 USB 3 controller IC. This was also how the original modification by [Tomasz Mloduchowski] worked, only now it comes in a handy (OSHPark) PCB format.

    After removing the VL805 QFN package and soldering in the bridge PCB, [Zak] confirmed that everything was hooked up properly and attempted to use the Raspberry Pi 4 with a PCIe extender. This showed that the Raspberry Pi would happily talk with a VL805-based USB 3.0 PCIe expansion card, as well as a Realtek RTL8111-based Ethernet card, but not a number of other PCIe cards. Exactly why this is is still unclear at this point.

    https://blog.zakkemble.net/rpi4-pci-express-bridge-chip/

    Reply
  15. Tomi Engdahl says:

    Raspberry Pi has announced that its eponymous SBC family now includes support for the Khronos Group’s OpenVX 1.3 computer vision acceleration API — work carried out alongside the addition of VulkanR graphics API support.

    Raspberry Pi SBCs Get OpenVX 1.3 Support for Low-Power High-Performance Computer Vision Applications
    https://www.hackster.io/news/raspberry-pi-sbcs-get-openvx-1-3-support-for-low-power-high-performance-computer-vision-applications-1c831d1242f2

    New fully-conformant API implementation offers cross-platform computer vision acceleration, no royalties required.

    The Raspberry Pi Foundation has announced that its eponymous single-board computer family now includes support for the Khronos Group’s OpenVX 1.3 computer vision acceleration application programming interface (API) — work carried out alongside the addition of Vulkan graphics API support.

    “OpenVX enables a performance and power-optimized computer vision processing, especially important in embedded and real-time use cases such as face, body, and gesture tracking, smart video surveillance, advanced driver assistance systems (ADAS), object and scene reconstruction, augmented reality, visual inspection, robotics, and more. The developers can take advantage of using this robust API in their application and know that the application is portable across all the conformant hardware.”

    Reply
  16. Tomi Engdahl says:

    Raspberry Pi 4: How I built a software-defined radio system to track passing planes
    Build your own ADS-B flight data receiver and mapper.
    https://www.zdnet.com/article/raspberry-pi-4-how-i-built-a-software-defined-radio-system-to-track-passing-planes/

    Reply
  17. Tomi Engdahl says:

    Sendai7 Is a Cyberdeck Purpose-Built for WiFi Pentesting
    https://www.hackster.io/news/sendai7-is-a-cyberdeck-purpose-built-for-wifi-pentesting-c7c32e50525d

    ChainsawMcD built a cyberdeck called Sendai7 with the necessary hardware to experiment with pentesting and WiFi networks in general.

    Reply
  18. Tomi Engdahl says:

    Raspberry Pi’s Eben Upton has confirmed that a Compute Module 4 is in the works, and that it may expose both PCIe and NVMe connectivity for external hardware.

    Raspberry Pi Compute Module 4 to Expose its PCIe Gen. 2 Lane at the Edge for High-Speed Peripherals
    https://www.hackster.io/news/raspberry-pi-compute-module-4-to-expose-its-pcie-gen-2-lane-at-the-edge-for-high-speed-peripherals-06cda3b00c1c

    New, more powerful COM based on the same SoC as the Raspberry Pi 4 due out within the next year, says Eben Upton.

    Raspberry Pi Foundation co-founder Eben Upton has confirmed that a Raspberry Pi Compute Module 4 is in the works, and that it may expose both PCI Express (PCIe) and Non-Volatile Memory Express (NVMe) connectivity for external hardware.

    The launch of the Raspberry Pi 4 Model B brought with it not only a major upgrade to the CPU, GPU, and RAM on the popular single-board computer, but a big boost in peripheral connectivity: The board’s first PCI Express (PCIe) support, used to drive two USB 3.0 ports as well as provide the family’s first gigabit-capable Ethernet port.

    This PCIe connectivity isn’t exposed externally, however, leading some to remove the USB 3.0 controller chip and replace it with a pass-through board — allowing external PCIe devices to be connected to the board, driver support permitting.

    The Compute Module range takes the Raspberry Pi SBC concept and switches it into a computer-on-module (COM) format. With no connectors of its own bar a SODIMM-format edge connector, the Compute Module is entirely reliant on a breakout board for connectivity — and the Compute Module 4 will use this edge connector to expose the PCIe Gen. 2 lane, no hacking required.

    Upton is silent on pricing for the Compute Module 4, as well as a firm launch date — beyond stating that it would be out within the next year.

    Reply
  19. Tomi Engdahl says:

    #312 Boot a Raspberry Pi4 with an SSD to make it reliable and fast
    https://www.youtube.com/watch?v=gp6XW-fGVjo

    Enough is enough! I waited for more than half a year to boot my new Raspberry Pi 4 from SSD to increase its speed and reduce the chance of losing my valuable data. Today we will change that. Without the help of the Raspberry project team. All we need is know-how, a little bit of time, and an old SD card.

    Reply
  20. Tomi Engdahl says:

    Pi-top [4] Review: Learning Made Easy on the Raspberry Pi
    https://www.tomshardware.com/reviews/pi-top-4

    Reply
  21. Tomi Engdahl says:

    Pi-top [4] Review: Learning Made Easy on the Raspberry Pi
    The pi-top [4] is well-designed hardware that deserves a spot on any makers shelf.
    https://www.tomshardware.com/reviews/pi-top-4

    Reply
  22. Tomi Engdahl says:

    The NODE Mini Server Version 3 Takes Advantage of the Raspberry Pi 4
    If you’re looking for an ultra-compact server that you can build yourself, NODE’s latest design is perfect for the job.
    https://www.hackster.io/news/the-node-mini-server-version-3-takes-advantage-of-the-raspberry-pi-4-e5aae17d5b9d

    Reply
  23. Tomi Engdahl says:

    Raspberry Pi 4 Tablet – RasPad 3 First Look
    https://www.youtube.com/watch?v=XPYfpia8OgE

    In this video, we take a look at the upcoming Raspad3 from Sunfounder.
    This kit allows you to easily turn your Raspberry Pi 4 into a portable 10” Tablet!
    With a 10.1” inch Touch Screen @ 1280×800 and a built-in battery with 3-5 hours of runtime this is turning out to be an awesome little accessory for the Pi4.
    Don’t let the new fool you because this is actually designed for the Raspberry Pi 4!

    Reply
  24. Tomi Engdahl says:

    Raspberry Pi4 Home Automation Server (incl. Docker, OpenHAB, HASSIO, NextCloud)
    https://www.youtube.com/watch?v=KJRMjUzlHI8

    The Raspberry Pi is grown up now to be a perfect Home Automation Server. Today I show you why and how to set it up conveniently. In the end, you should be able to make an educated decision for your own project.

    Reply
  25. Tomi Engdahl says:

    Xen Project officially ports its hypervisor to Raspberry Pi 4
    https://www.theregister.com/2020/09/29/xen_on_rpi_4/

    ‘We were about to embark on an adventure deep in the belly of the memory allocator and Linux address translation layers’

    Reply
  26. Tomi Engdahl says:

    Xen Project officially ports its hypervisor to Raspberry Pi 4
    ‘We were about to embark on an adventure deep in the belly of the memory allocator and Linux address translation layers’
    https://www.theregister.com/2020/09/29/xen_on_rpi_4/

    The Xen Project has ported its hypervisor to the 64-bit Raspberry Pi 4.

    The idea to do an official port bubbled up from the Xen community and then reached the desk of George Dunlap, chairman of the Xen Project’s Advisory Board. Dunlap mentioned the idea to an acquaintance who works at the Raspberry Pi Foundation, and was told that around 40 percent of Pis are sold to business users rather than hobbyists.

    With more than 30 million Arm-based Pis sold as of December 2019, and sales running at a brisk 600,000-plus a month in April 2020, according to Pi guy Eben Upton, Dunlap saw an opportunity to continue Xen’s drive towards embedded and industrial applications.

    Reply
  27. Tomi Engdahl says:

    With the same core hardware as the popular Raspberry Pi 4 Model B single-board computer, and now providing high-speed PCI Express Gen. 2 connectivity to peripherals, is the Compute Module 4 — and its cost-reduced Lite stablemate — the new go-to SOM?

    Hands-On with the Raspberry Pi Compute Module 4 and Compute Module 4 Lite
    https://www.hackster.io/news/hands-on-with-the-raspberry-pi-compute-module-4-and-compute-module-4-lite-827bb3293ee9?f=1

    Packing the same BCM2711C0 SoC as the full-size Raspberry Pi 4, are these system-on-modules the new must-have gadgets?

    Two years after launching the Raspberry Pi Compute Module 3+, and four years after the Raspberry Pi Compute Module 3, the Raspberry Pi Foundation has a new system-on-module (SOM) — but while it offers considerably boosted performance, it does away with backwards compatibility for existing carrier boards.

    The Compute Module 4, then, should not surprise: It’s a system-on-module built on the Broadcom BCM2711C0, the same system-on-chip which powers the Raspberry Pi 4. Like the full-size Raspberry Pi 4, the four 64-bit Arm Cortex-A72 cores are clocked at 1.5GHz — with no sign of the same clock-speed reduction as the Compute Module 3+ — and buyers have a choice of 1GB, 2GB, 4GB, or 8GB of LPDDR4 RAM.

    Reply
  28. Tomi Engdahl says:

    Canonical Launches Ubuntu 20.10 “Groovy Gorilla” with “Micro Clouds,” Raspberry Pi Desktop Images
    First desktop image promises “everything the average desktop user would expect” — on Raspberry Pis with 4GB or 8GB of RAM, at least.
    https://www.hackster.io/news/canonical-launches-ubuntu-20-10-groovy-gorilla-with-micro-clouds-raspberry-pi-desktop-images-7168d48005e5

    Reply
  29. Tomi Engdahl says:

    Featuring a quad-core 64-bit processor, wireless networking, dual-display output and 4K video playback, the new Raspberry Pi 400 is an all-in-one keyboard-computer.

    Hands-On with the Raspberry Pi 400, the First “Consumer Product” Raspberry Pi
    https://www.hackster.io/news/hands-on-with-the-raspberry-pi-400-the-first-consumer-product-raspberry-pi-2718c6b45ad3

    Designed to be an “object of desire,” the Raspberry Pi Foundation’s new device is a marked departure from the norm — and faster than a Pi 4.

    It’s only been two weeks since the Raspberry Pi Foundation unveiled the Raspberry Pi Compute Module 4 and Compute Module 4 system-on-module products, but it has another trick up its sleeve: The Raspberry Pi 400, the first consumer-centric product in its portfolio — and a throwback to the early days of affordable personal computing, originally floated under the internal name “Project Commodore 64,” before “Project Gamma” was picked to make any possible leaks less revealing of the project’s intentions.

    The electronics inside the Raspberry Pi 400, which until you turn to look at the ports at the rear looks like a clone of the existing Raspberry Pi Keyboard, are effectively the same as the ones you’ll find powering a Raspberry Pi 4 or the newly-released Compute Module 4. There’s a BCM2711 SoC with four Arm Cortex-A72 cores and a VideoCore VI graphics processor, 4GB of LPDDR4 memory
    and a microSD slot for storage.

    Conclusion
    For owners of a Raspberry Pi 4, there’s no particular reason — other than it being, as Upton has it, “an object of desire” — to move to the Raspberry Pi 400. It’s 300MHz faster, sure, but that same level of overclock and more is easily achievable on any Raspberry Pi 4 — albeit requiring some form of passive or, better yet, active cooling to avoid thermal throttling.

    The Raspberry Pi 400 is also entirely ill-suited to embedded work: Even if you shuck it from its housing and discard the keyboard and heatsink, it’s considerably larger than any other model of Raspberry Pi going all the way back to the never-publicly-released Alpha boards.

    Neither of these are negative points. The Raspberry Pi 400 isn’t designed to replace the Raspberry Pi 4 in all use cases, but to make the core technology better suited for particular use cases: Corporate desktops, education, and perhaps even the bedroom programmer — a new generation of hackers typing away on an all-in-one keyboard-computer and inventing the future, just as the generation before them hunched over Commodore 64s, Sinclair ZX Spectrums, Atari 400s and other eight-bit marvels.

    The Raspberry Pi 400 is available to order today, priced at $70 system-only and $100 in a new desktop kit bundle that includes pre-loaded Raspberry Pi OS microSD card, mouse, power supply, and Beginner’s Guide manual. More information is available on the Raspberry Pi website.

    https://www.raspberrypi.org/

    Reply
  30. Tomi Engdahl says:

    Hands-On with the Raspberry Pi Compute Module 4 and Compute Module 4 Lite
    Packing the same BCM2711C0 SoC as the full-size Raspberry Pi 4, are these system-on-modules the new must-have gadgets?
    https://www.hackster.io/news/hands-on-with-the-raspberry-pi-compute-module-4-and-compute-module-4-lite-827bb3293ee9

    Reply
  31. Tomi Engdahl says:

    //Awesome., New Raspberry Pi 400 Desktop PC has been released for Linux and hardware enthusiast. https://www.cyberciti.biz/hardware/raspberry-pi-400-desktop-pc-complete-specs-and-pricing/

    Reply
  32. Tomi Engdahl says:

    Raspberry Pi 400, with Eben Upton
    Hackster TV
    https://www.hackster.io/videos/774

    Reply
  33. Tomi Engdahl says:

    Xen Hypervisor Gets Ported to the Raspberry Pi, Shakes Out Bugs in the Linux Kernel
    https://www.hackster.io/news/xen-hypervisor-gets-ported-to-the-raspberry-pi-shakes-out-bugs-in-the-linux-kernel-b9595fe721d4

    An “easy” porting task turned into a bug-hunt in the Linux kernel, but Xen is now officially available on the Raspberry Pi 4 family.

    The Xen Project, maintainer of the popular hypervisor of the same name, has announced it has now ported its tool to the Raspberry Pi 4 single-board computer — complete with a tutorial for anyone looking to get started.

    “We have always been eager to get the Xen hypervisor running on [the Raspberry Pi], but technical differences between RPi and other Arm platforms made it impractical for the longest time,” Xen’s Stefano Stabellini and Roman Shaposhnik explain in a joint announcement. “Specifically, a non-standard interrupt controller without virtualization support. Then the Raspberry Pi 4 came along, together with a regular GIC-400 interrupt controller that Xen supports out of the box.”

    Reply

Leave a Comment

Your email address will not be published. Required fields are marked *

*

*