-
Notifications
You must be signed in to change notification settings - Fork 13
Open
Description
Temporary fix:
- Disable building the interface under
idl_generationrule
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
- Modify
kernel/src/generated_domain_create.rsunder functionpci_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_);
Metadata
Metadata
Assignees
Labels
No labels