Giter Club home page Giter Club logo

camkes-vm-images's Introduction

CAmkES VM Images

This repo contains a collection of binary images used in the CAmkES VMs. The aim is to store binary blobs here and prevent them from bloating the repository sizes of other source based repositories. Branches, tags, or specific revisions can be used in repo manifests to refer to a particular version of this repo in a project and then the binaries from that version can be accessed. The idea is that when the repo size gets too large, we abandon the history and start again while tagging the old tip.

Licensing

For binaries with a GPL-like license, there should be information in this repository that indicates where the sources can be found, including a tag or hash to identify exactly which version is used (if the source reference is to a git repository) and instructions for rebuilding (config files, compiler used). The aim is that anyone could grab the sources and produce the same binary as is here.

For the license of any source files, see the SPDX license tags in their header and the licence list in the .reuse/dep5 file. The directory LICENSES contains the text for all licenses that are mentioned by files in this repository.

camkes-vm-images's People

Contributors

chester-p avatar chrisguikema avatar kent-mcleod avatar latentprion avatar lsf37 avatar sylgauthier avatar wellmcgarnicle avatar

Stargazers

 avatar

Watchers

 avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar

camkes-vm-images's Issues

Qemu DTS for VM Cross Connector?

TL;DR: What is the Qemu Virt DTS for the VM Cross Connector build?

So I am playing with a project that requires me to rebuild the rootfs with glibc instead of uClib, and I needed to extend the RAM of the guest to 4GB. Well I figured out how to extend the RAM, but I had to move the PCI regions for the cross connector. That's when I noticed the Qemu directory does not have a DTS in it with the PCI device node for the cross connector like some of the other platforms. So I got the example working and pulled it out of /proc/device-tree/pci, but I think I fat fingered something and everything is broken now :-) I also noticed that connection.ko is from kernel 4.14.87 instead of 4.9.189. Looks like the last time someone built the example was in 2020. I was wondering is someone could push that qemu DTS for me please? (So I can confirm what I pulled out of /proc/device-tree, what I think I really want is the interrupt-map... this is my first time playing with PCI in the device tree)

I'm also in the seL4 mattermost, if anyone wants to chat beside post in issue.

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    ๐Ÿ–– Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. ๐Ÿ“Š๐Ÿ“ˆ๐ŸŽ‰

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google โค๏ธ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.