We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Temporary fix:
idl_generation
184 .PHONY: idl_generation 185 idl_generation: tools/redIDL 186 @ if [ ! -f "tools/redIDL/codegen/ngc/Cargo.toml" ]; \ 187 then echo "redIDL not found. Maybe you want to do 'git submodule init && git submodule update' then try again?"; \ 188 exit -1; \ 189 fi 190 #make -C interface
kernel/src/generated_domain_create.rs
pci_create_domain_pci
type UserInit_ = fn( ::alloc::boxed::Box<dyn::syscalls::Syscall>, ::alloc::boxed::Box<dyn::syscalls::Mmap>, ::alloc::boxed::Box<dyn::syscalls::Heap>, ) -> alloc::boxed::Box<dyn interface::pci::PCI>; let pmmap_ = ::alloc::boxed::Box::new(crate::syscalls::Mmap::new()); .... let ep_rtn_ = user_ep_(pdom_, pmmap_, pheap_);
The text was updated successfully, but these errors were encountered:
No branches or pull requests
Temporary fix:
idl_generation
rulekernel/src/generated_domain_create.rs
under functionpci_create_domain_pci
The text was updated successfully, but these errors were encountered: