hiwudery

@markus-k thank your for your sharing. I add othbootargs=gasket.dma_bit_mask=32 to avoid HIB error. But after running the sample program, I still get the following errors. Did you have any ideas...

@markus-k in gasket_page_table.c, the page table is 64bit format not 32bit format. I think the gasket_page_table also need to modify in 32bit kernel. * Address format: * Simple addresses -...

A modified falcon_server.cpp is as following. It can help you to build web-ui by http api. [server_code.zip](https://github.com/cmp-nct/ggllm.cpp/files/12029536/server_code.zip)